Logs: liberachat/#haskell
| 2026-04-19 15:52:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 15:56:02 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-19 15:57:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 15:58:34 | <janus> | i talked about iso-inductive types a few days back |
| 2026-04-19 15:58:53 | <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:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-19 15:59:26 | <janus> | it seems like the main concern was about whether the fold-unfolding would retain the right laziness |
| 2026-04-19 16:00:06 | <janus> | but i didn't actually understand why it wouldn't |
| 2026-04-19 16:00:12 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:19a4:6d16:82eb:d1) |
| 2026-04-19 16:00:12 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:19a4:6d16:82eb:d1) (Changing host) |
| 2026-04-19 16:00:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-19 16:02:15 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-19 16:07:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 16:08:38 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-19 16:09:23 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-19 16:12:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-19 16:14:24 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 16:16:39 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2026-04-19 16:18:26 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-19 16:19:33 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 272 seconds) |
| 2026-04-19 16:19:39 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 255 seconds) |
| 2026-04-19 16:23:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 16:24:45 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-04-19 16:25:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-19 16:25:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-19 16:26:22 | → | alhazrod joins (uid662262@user/alhazrod) |
| 2026-04-19 16:27:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 16:38:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 16:39:28 | → | troojg joins (~troojg@user/troojg) |
| 2026-04-19 16:43:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 16:48:21 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 16:49:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 16:52:49 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 245 seconds) |
| 2026-04-19 16:53:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 16:54:53 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-19 16:55:08 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-19 17:04:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 17:07:48 | × | skum quits (~skum@user/skum) (Ping timeout: 255 seconds) |
| 2026-04-19 17:09:52 | → | skum joins (~skum@user/skum) |
| 2026-04-19 17:11:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-19 17:11:40 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-19 17:14:36 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-19 17:22:21 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 17:22:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.