| 2024-11-16 00:00:14 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-16 00:06:27 +0100 | ephilalethes | (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) noumenon |
| 2024-11-16 00:10:09 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-16 00:12:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-11-16 00:12:21 +0100 | ljdarj1 | ljdarj |
| 2024-11-16 00:15:29 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-16 00:15:56 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-16 00:20:51 +0100 | fluxit | (~fluxit@192.241.192.75) fluxit |
| 2024-11-16 00:28:53 +0100 | ephilalethes | (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-11-16 00:35:13 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-16 00:35:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-16 00:39:26 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-16 00:44:16 +0100 | hellwolf | (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2024-11-16 00:46:09 +0100 | emfrom | (~emfrom@37.166.83.170) (Remote host closed the connection) |
| 2024-11-16 00:46:47 +0100 | sergio | (uid675295@id-675295.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-16 00:57:54 +0100 | j1n37 | (~j1n37@li657-110.members.linode.com) |
| 2024-11-16 00:59:24 +0100 | hellwolf | (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-11-16 01:04:21 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2024-11-16 01:06:22 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f96299656d59247024d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-16 01:07:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-16 01:07:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) alexherbo2 |
| 2024-11-16 01:08:06 +0100 | j1n37 | (~j1n37@li657-110.members.linode.com) (Changing host) |
| 2024-11-16 01:08:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-11-16 01:12:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Quit: goodbye today) |
| 2024-11-16 01:13:26 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-16 01:14:44 +0100 | j1n37 | (~j1n37@li657-110.members.linode.com) |
| 2024-11-16 01:15:16 +0100 | j1n37 | (~j1n37@li657-110.members.linode.com) (Changing host) |
| 2024-11-16 01:15:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-11-16 01:16:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-11-16 01:16:03 +0100 | ljdarj1 | ljdarj |
| 2024-11-16 01:16:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Client Quit) |
| 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:19:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-16 01:19:54 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-11-16 01:20:20 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-16 01:21:34 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-11-16 01:23:17 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-16 01:26:26 +0100 | gvg | (~dcd@user/gvg) gvg |
| 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:28:11 +0100 | rvalue- | rvalue |
| 2024-11-16 01:34:48 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 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:54:28 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-16 01:57:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-16 01:58:45 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-16 02:07:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 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:14:09 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) alexherbo2 |
| 2024-11-16 02:17:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-16 02:32:04 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 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:33:16 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-16 02:36:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9) |
| 2024-11-16 02:39:09 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 244 seconds) |
| 2024-11-16 02:41:30 +0100 | zenmov | dymenshen |
| 2024-11-16 02:42:58 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-16 02:57:52 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-11-16 03:44:36 +0100 | <zzz> | :t \h f g -> uncurry h . (f &&& g) |
| 2024-11-16 03:44:37 +0100 | <lambdabot> | (a1 -> b -> c) -> (a2 -> a1) -> (a2 -> b) -> a2 -> c |
| 2024-11-16 03:44:47 +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:46:15 +0100 | <zzz> | :t liftA2 @((->) _) |
| 2024-11-16 03:46:16 +0100 | <lambdabot> | error: parse error on input ‘->’ |
| 2024-11-16 03:46:54 +0100 | <zzz> | % :t 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:47:02 +0100 | <probie> | :t [\h f g -> uncurry h . (f &&& g), liftA2] |
| 2024-11-16 03:47:03 +0100 | <lambdabot> | [(c1 -> c' -> c2) -> (a -> c1) -> (a -> c') -> a -> c2] |
| 2024-11-16 03:49:51 +0100 | <zzz> | ah nice |
| 2024-11-16 03:49:55 +0100 | <zzz> | took me a second |
| 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:52:21 +0100 | <lambdabot> | [(c -> a1 -> b) -> (a2 -> c) -> (a2 -> a1) -> a2 -> b] |
| 2024-11-16 04:26:17 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-16 04:27:08 +0100 | td_ | (~td@i53870902.versanet.de) (Ping timeout: 244 seconds) |
| 2024-11-16 04:28:49 +0100 | td_ | (~td@i53870904.versanet.de) td_ |
| 2024-11-16 04:42:18 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-16 04:44:00 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-11-16 04:47:03 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-11-16 04:47:24 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-16 04:49:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-16 04:56:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-16 04:56:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-11-16 04:56:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-16 04:59:05 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-11-16 05:02:02 +0100 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2024-11-16 05:02:26 +0100 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
| 2024-11-16 05:08:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-16 05:11:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-16 05:12:17 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-16 05:33:30 +0100 | hellwolf | (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 246 seconds) |
| 2024-11-16 06:13:41 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-16 06:15:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |