Newest at the top
2024-09-24 13:02:20 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-09-24 13:01:05 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
2024-09-24 13:00:17 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
2024-09-24 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-09-24 12:56:29 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
2024-09-24 12:56:12 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
2024-09-24 12:54:34 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 260 seconds) |
2024-09-24 12:53:59 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-09-24 12:52:13 +0200 | ubert1 | ubert |
2024-09-24 12:51:53 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-09-24 12:49:51 +0200 | ubert1 | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
2024-09-24 12:49:39 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
2024-09-24 12:47:01 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-24 12:46:52 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-24 12:45:35 +0200 | Digitteknohippie | Digit |
2024-09-24 12:43:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2024-09-24 12:42:10 +0200 | yoneda | (~mike@193.206.102.122) |
2024-09-24 12:39:11 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-09-24 12:39:08 +0200 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
2024-09-24 12:38:42 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-24 12:38:11 +0200 | <lambdabot> | (t -> b) -> (t, t) -> (b, b) |
2024-09-24 12:38:10 +0200 | <ski> | @type \f (a,b) -> (f a,f b) |
2024-09-24 12:37:39 +0200 | <lambdabot> | arising from a use of ‘show_M26583726709348514278’ |
2024-09-24 12:37:38 +0200 | <lambdabot> | • No instance for (Typeable t0) |
2024-09-24 12:37:38 +0200 | <lambdabot> | error: |
2024-09-24 12:37:36 +0200 | <sprout> | > \f (a, b) -> (f a, f b) |
2024-09-24 12:37:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2024-09-24 12:37:15 +0200 | <lambdabot> | <hint>:1:10: error: parse error on input ‘=’ |
2024-09-24 12:37:13 +0200 | <sprout> | > f (a, b) = (f a, f b) |
2024-09-24 12:29:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-24 12:21:06 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-09-24 12:16:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-09-24 12:16:33 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 246 seconds) |
2024-09-24 12:16:16 +0200 | CiaoSen | (~Jura@2a05:5800:2da:7700:ca4b:d6ff:fec1:99da) CiaoSen |
2024-09-24 12:05:29 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-09-24 12:03:32 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
2024-09-24 12:03:18 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 245 seconds) |
2024-09-24 12:02:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-24 12:01:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2024-09-24 11:44:20 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds) |
2024-09-24 11:43:01 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-09-24 11:42:51 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-09-24 11:40:20 +0200 | foul_owl | (~kerry@185.219.141.164) foul_owl |
2024-09-24 11:30:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-24 11:29:41 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-09-24 11:25:23 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2024-09-24 11:23:05 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-09-24 11:22:44 +0200 | foul_owl | (~kerry@185.216.231.181) (Read error: Connection reset by peer) |
2024-09-24 11:22:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2024-09-24 11:21:55 +0200 | foul_owl | (~kerry@185.216.231.181) foul_owl |