Newest at the top
| 2025-12-22 03:29:24 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-22 03:29:18 +0100 | <lambdabot> | https://hackage.haskell.org/package/MemoTrie |
| 2025-12-22 03:29:18 +0100 | <iqubic> | @hackage MemoTrie |
| 2025-12-22 03:29:05 +0100 | <iqubic> | Is there some reason why the package MemoTrie doesn't have any instances for "MemoTrie v => MemoTrie (Set v)" and "(MemoTrie k, MemoTrie v) => MemoTrie (Map k v)" |
| 2025-12-22 03:27:28 +0100 | iqubic | (~sophia@2601:602:9203:1660:3bd8:1b23:71a3:5898) iqubic |
| 2025-12-22 03:24:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 03:23:55 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 03:19:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 03:17:28 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-12-22 03:13:36 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-22 03:11:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-22 03:08:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 03:06:38 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 2025-12-22 03:04:43 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-22 03:04:19 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-22 03:04:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 03:03:08 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-22 02:55:32 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2025-12-22 02:54:22 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 02:52:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 02:51:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-12-22 02:44:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 02:44:16 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-22 02:43:35 +0100 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 2025-12-22 02:42:20 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-22 02:41:15 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 240 seconds) |
| 2025-12-22 02:33:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 02:28:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 02:24:44 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-22 02:24:36 +0100 | omidmash1 | omidmash |
| 2025-12-22 02:24:36 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-22 02:24:34 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-22 02:22:51 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-12-22 02:16:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 02:14:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b) (Ping timeout: 252 seconds) |
| 2025-12-22 02:12:54 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2025-12-22 02:10:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 02:08:03 +0100 | trickard_ | trickard |
| 2025-12-22 02:06:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 264 seconds) |
| 2025-12-22 02:04:30 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 256 seconds) |
| 2025-12-22 01:59:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 01:54:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:43:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 01:38:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:35:00 +0100 | <ncf> | oh, and identity types! |
| 2025-12-22 01:33:37 +0100 | <ncf> | i suppose you could have U + coproducts |
| 2025-12-22 01:32:09 +0100 | <ncf> | (can't have a universe *and* an empty type because that typically means you have a code for the empty type in the universe, which is a term!) |
| 2025-12-22 01:31:45 +0100 | <ncf> | MLTT + Π + Σ + {one of U or 0} would do |
| 2025-12-22 01:28:10 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-22 01:27:51 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |