Newest at the top
| 2026-04-19 17:22:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 17:22:21 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 17:14:36 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-19 17:11:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-19 17:11:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 17:09:52 +0000 | skum | (~skum@user/skum) skum |
| 2026-04-19 17:07:48 +0000 | skum | (~skum@user/skum) (Ping timeout: 255 seconds) |
| 2026-04-19 17:04:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:55:08 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-19 16:54:53 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-19 16:53:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 16:52:49 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 245 seconds) |
| 2026-04-19 16:49:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:48:21 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 16:43:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 16:39:28 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-19 16:38:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:27:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 16:26:22 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-04-19 16:25:49 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 16:25:22 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-19 16:24:45 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-04-19 16:23:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:19:39 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
| 2026-04-19 16:19:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 272 seconds) |
| 2026-04-19 16:18:26 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-19 16:16:39 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2026-04-19 16:14:24 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 16:12:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-19 16:09:23 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-19 16:08:38 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-19 16:07:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 16:02:15 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-19 16:00:12 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 16:00:12 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:19a4:6d16:82eb:d1) (Changing host) |
| 2026-04-19 16:00:12 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:19a4:6d16:82eb:d1) |
| 2026-04-19 16:00:06 +0000 | <janus> | but i didn't actually understand why it wouldn't |
| 2026-04-19 15:59:26 +0000 | <janus> | it seems like the main concern was about whether the fold-unfolding would retain the right laziness |
| 2026-04-19 15:58:59 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-19 15:58:53 +0000 | <janus> | and now i found solomon did a chain of interpreters https://github.com/solomon-b/lambda-calculus-hs/blob/main/main/09b-IsoInductiveTypes.hs |
| 2026-04-19 15:58:34 +0000 | <janus> | i talked about iso-inductive types a few days back |
| 2026-04-19 15:57:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 15:56:02 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-19 15:52:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 15:47:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 15:45:55 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-04-19 15:42:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 15:42:18 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 15:41:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 15:40:24 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |