Newest at the top
| 2026-04-19 22:50:44 +0000 | zalo-rocky | (~flyingzal@186.19.88.142) |
| 2026-04-19 22:49:57 +0000 | zalo-rocky | (~flyingzal@186.19.88.142) (Remote host closed the connection) |
| 2026-04-19 22:49:26 +0000 | xff0x | (~xff0x@2405:6580:b080:900:327f:cd1:7644:a0b0) (Quit: xff0x) |
| 2026-04-19 22:47:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 22:45:51 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2026-04-19 22:43:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 22:42:04 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-19 22:33:21 +0000 | zalo-rocky | (~flyingzal@186.19.88.142) |
| 2026-04-19 22:32:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 22:28:47 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-19 22:28:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 22:26:24 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 246 seconds) |
| 2026-04-19 22:21:59 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 22:20:38 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 22:17:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 22:15:40 +0000 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 276 seconds) |
| 2026-04-19 22:12:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 22:11:30 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-04-19 22:11:30 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:67c4:f6a6:5b85:b61c) (Changing host) |
| 2026-04-19 22:11:30 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:67c4:f6a6:5b85:b61c) |
| 2026-04-19 22:04:08 +0000 | tromp | (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-19 22:01:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 21:57:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 21:56:25 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 21:52:05 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 21:48:11 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-19 21:36:59 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 21:32:43 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 21:25:31 +0000 | internatetional | (~nate@180.243.14.54) (Ping timeout: 264 seconds) |
| 2026-04-19 21:22:31 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 2026-04-19 21:22:00 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2026-04-19 21:06:30 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-19 21:00:43 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 20:56:25 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 20:49:13 +0000 | <monochrom> | (The ideal, just writing "map f xs", requires meta-inferring whether f is a type or a term in the first place, for backward compatibility. Doable but a mess, not worth it.) |
| 2026-04-19 20:46:47 +0000 | <monochrom> | OK OK a hypothetical compromise is you can write "map _ _ f xs" meaning "please infer the ObTypeApplication". Then the syntax is unambiguous. It is still a bit annoying though. |
| 2026-04-19 20:41:42 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-19 20:41:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 20:36:50 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 20:33:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 20:31:32 +0000 | zeenk | (~zeenk@2a02:2f04:a30e:6d00::879) (Quit: Konversation terminated!) |
| 2026-04-19 20:26:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 20:17:34 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2026-04-19 20:17:34 +0000 | edwtjo | (~edwtjo@h-46-59-61-249.A213.priv.bahnhof.se) (Changing host) |
| 2026-04-19 20:17:34 +0000 | edwtjo | (~edwtjo@h-46-59-61-249.A213.priv.bahnhof.se) |
| 2026-04-19 20:15:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 20:14:27 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-19 20:10:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 20:10:30 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2026-04-19 20:05:53 +0000 | <monochrom> | I think it may be too late to enable type inference in Dhall now. Too hard to add it and has backward compatibility. |