Newest at the top
| 2026-04-15 22:02:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 21:58:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 21:52:14 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 21:52:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) (Changing host) |
| 2026-04-15 21:52:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) |
| 2026-04-15 21:52:00 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-15 21:51:42 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-15 21:51:09 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 21:50:42 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 2026-04-15 21:49:27 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-15 21:47:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-15 21:45:08 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-04-15 21:44:18 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 21:44:06 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-15 21:44:00 +0000 | <janus> | it probably isn't lazy but that's ok for now |
| 2026-04-15 21:42:19 +0000 | <janus> | https://github.com/solomon-b/lambda-calculus-hs/blob/main/main/09b-IsoInductiveTypes.hs |
| 2026-04-15 21:42:15 +0000 | <janus> | found an example of iso-recursive types with haskell-like syntax examples |
| 2026-04-15 21:40:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 21:39:30 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 21:30:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 21:29:04 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-15 21:26:19 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds) |
| 2026-04-15 21:25:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 21:24:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 21:19:37 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 21:14:27 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-15 21:09:40 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-15 21:08:25 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-15 21:07:41 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-15 21:07:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c853:ec6b:2699:b6f5) (Changing host) |
| 2026-04-15 21:07:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c853:ec6b:2699:b6f5) |
| 2026-04-15 21:05:09 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-04-15 21:00:44 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-15 20:59:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-15 20:55:47 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-04-15 20:54:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:50:17 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-04-15 20:47:37 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-15 20:43:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 20:43:03 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 20:38:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:37:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2026-04-15 20:36:36 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 255 seconds) |
| 2026-04-15 20:27:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-15 20:27:20 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-15 20:23:18 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-15 20:23:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-15 20:21:08 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-04-15 20:20:13 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-15 20:17:44 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |