Newest at the top
| 2024-11-16 04:47:24 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-16 04:47:03 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-11-16 04:44:00 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-11-16 04:42:18 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-16 04:28:49 +0100 | td_ | (~td@i53870904.versanet.de) td_ |
| 2024-11-16 04:27:08 +0100 | td_ | (~td@i53870902.versanet.de) (Ping timeout: 244 seconds) |
| 2024-11-16 04:26:17 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-16 03:52:21 +0100 | <lambdabot> | [(c -> a1 -> b) -> (a2 -> c) -> (a2 -> a1) -> a2 -> b] |
| 2024-11-16 03:52:20 +0100 | <zzz> | :t [\h f g -> uncurry h . (f &&& g), liftA2, \h f g -> h <$> f <*> g] |
| 2024-11-16 03:49:55 +0100 | <zzz> | took me a second |
| 2024-11-16 03:49:51 +0100 | <zzz> | ah nice |
| 2024-11-16 03:47:03 +0100 | <lambdabot> | [(c1 -> c' -> c2) -> (a -> c1) -> (a -> c') -> a -> c2] |
| 2024-11-16 03:47:02 +0100 | <probie> | :t [\h f g -> uncurry h . (f &&& g), liftA2] |
| 2024-11-16 03:46:54 +0100 | <yahb2> | liftA2 @((->) _) ; :: Applicative ((->) w) => ; (a -> b -> c) -> (w -> a) -> (w -> b) -> w -> c |
| 2024-11-16 03:46:54 +0100 | <zzz> | % :t liftA2 @((->) _) |
| 2024-11-16 03:46:16 +0100 | <lambdabot> | error: parse error on input ‘->’ |
| 2024-11-16 03:46:15 +0100 | <zzz> | :t liftA2 @((->) _) |
| 2024-11-16 03:44:48 +0100 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2024-11-16 03:44:47 +0100 | <zzz> | :t liftA2 |
| 2024-11-16 03:44:37 +0100 | <lambdabot> | (a1 -> b -> c) -> (a2 -> a1) -> (a2 -> b) -> a2 -> c |
| 2024-11-16 03:44:36 +0100 | <zzz> | :t \h f g -> uncurry h . (f &&& g) |
| 2024-11-16 02:57:52 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-11-16 02:42:58 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-16 02:41:30 +0100 | zenmov | dymenshen |
| 2024-11-16 02:39:09 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 244 seconds) |
| 2024-11-16 02:36:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9) |
| 2024-11-16 02:33:16 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-16 02:33:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9) (Ping timeout: 260 seconds) |
| 2024-11-16 02:32:04 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-11-16 02:17:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-16 02:14:09 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) alexherbo2 |
| 2024-11-16 02:13:49 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-16 02:07:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-16 01:58:45 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-16 01:57:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-16 01:54:28 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-16 01:44:00 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-16 01:34:48 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-16 01:28:11 +0100 | rvalue- | rvalue |
| 2024-11-16 01:27:39 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-16 01:26:26 +0100 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-16 01:23:17 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-16 01:21:34 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-11-16 01:20:20 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-16 01:19:54 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-11-16 01:19:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-16 01:17:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-11-16 01:16:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Client Quit) |
| 2024-11-16 01:16:03 +0100 | ljdarj1 | ljdarj |
| 2024-11-16 01:16:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |