Newest at the top
| 2025-06-24 00:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 00:48:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 00:37:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-24 00:32:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-06-24 00:30:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 00:27:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-24 00:26:36 +0200 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
| 2025-06-24 00:26:36 +0200 | <ski> | @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> (b -> s) -> b |
| 2025-06-24 00:25:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-24 00:23:18 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-06-24 00:21:25 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-06-24 00:19:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-24 00:18:50 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-06-24 00:18:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-24 00:17:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-06-24 00:14:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-24 00:13:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-24 00:06:37 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-24 00:03:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-24 00:02:53 +0200 | ThePenguin0 | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-24 00:02:49 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Read error: Connection reset by peer) |
| 2025-06-23 23:59:27 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-06-23 23:58:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 23:58:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-23 23:55:18 +0200 | <haskellbridge> | <magic_rb> tomsmeding my irc bridge is down, if youve got nothing better to do you can come to my thesis presentation on thursday :P |
| 2025-06-23 23:54:30 +0200 | sprotte24 | (~sprotte24@p200300d16f147e00e80e584d50a84a27.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-06-23 23:49:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-06-23 23:49:13 +0200 | <monochrom> | ((a -> r) -> r) -> (a -> (b -> r) -> r) -> (b -> r) -> r |
| 2025-06-23 23:48:46 +0200 | <monochrom> | Right, you have to expand Cont r a to (a -> r) -> r throughout |
| 2025-06-23 23:48:15 +0200 | <haskellbridge> | <magic_rb> I just didnt want to put complete bollocks on the slide |
| 2025-06-23 23:48:01 +0200 | <haskellbridge> | <magic_rb> This is meant for people that dont speak haskell :P |
| 2025-06-23 23:47:49 +0200 | <haskellbridge> | <magic_rb> Well, it doesnt _look_ scary |
| 2025-06-23 23:47:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-23 23:47:41 +0200 | <haskellbridge> | <magic_rb> Oh |
| 2025-06-23 23:47:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-23 23:46:54 +0200 | <monochrom> | You asked for practical scary types. |
| 2025-06-23 23:46:17 +0200 | <haskellbridge> | <magic_rb> monochrom im not following :( |
| 2025-06-23 23:43:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 23:43:00 +0200 | <monochrom> | magic_rb: (Belated) I once expanded "Cont r a -> (a -> Cont r b) -> Cont r b" to "understand" it. :) |
| 2025-06-23 23:41:34 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 23:41:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 23:37:53 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-06-23 23:33:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2025-06-23 23:33:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 23:32:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-23 23:29:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-23 23:29:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-23 23:28:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-23 23:27:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 23:20:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |