Newest at the top
| 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) |
| 2026-04-19 15:38:48 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-19 15:37:41 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 15:37:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 15:36:18 +0000 | vgtw_ | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2026-04-19 15:31:10 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 15:26:03 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-19 15:21:23 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-19 15:20:08 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-19 15:20:08 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-19 15:20:08 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-19 15:19:25 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 15:15:45 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 15:11:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 15:09:53 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2026-04-19 15:07:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 15:03:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:55:05 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 14:52:48 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-04-19 14:50:41 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 14:48:19 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-19 14:46:33 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 14:46:33 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:f442:f813:ca8e:33af) (Changing host) |
| 2026-04-19 14:46:33 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:f442:f813:ca8e:33af) |
| 2026-04-19 14:43:16 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-04-19 14:43:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 14:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:27:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 14:23:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:12:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-19 14:09:52 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-19 14:07:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 14:05:18 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 268 seconds) |