Newest at the top
| 2026-03-13 00:30:19 +0100 | qqq | (~qqq@185.54.22.246) (Ping timeout: 264 seconds) |
| 2026-03-13 00:29:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-13 00:23:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-13 00:12:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-13 00:08:30 +0100 | jzargo2 | (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2026-03-13 00:07:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 23:56:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-12 23:52:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 23:42:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-12 23:37:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 23:35:12 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Ping timeout: 264 seconds) |
| 2026-03-12 23:32:52 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-12 23:32:50 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-12 23:27:53 +0100 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 248 seconds) |
| 2026-03-12 23:25:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-12 23:21:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 23:20:32 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-03-12 23:13:53 +0100 | img | (~img@user/img) img |
| 2026-03-12 23:13:46 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-12 23:12:39 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-12 23:10:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-12 23:10:40 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-03-12 23:09:21 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-12 23:08:09 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-03-12 23:06:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 23:04:37 +0100 | qqq | (~qqq@185.54.22.246) |
| 2026-03-12 22:59:54 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-03-12 22:59:20 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-03-12 22:59:17 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 2026-03-12 22:54:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-12 22:54:11 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-12 22:53:00 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-03-12 22:49:09 +0100 | <geekosaur> | I think various effects libraries provide such but they're likely to be specialized to their types |
| 2026-03-12 22:48:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 22:47:53 +0100 | <geekosaur> | not sure there's anything specifically for type level lists |
| 2026-03-12 22:47:39 +0100 | <geekosaur> | oh wait, lists, sorry |
| 2026-03-12 22:47:23 +0100 | <geekosaur> | "For now, this module is the API for working with type-level literals." |
| 2026-03-12 22:46:52 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.22.0.0-66f8/GHC-TypeLits.html#t:App… |
| 2026-03-12 22:43:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-12 22:40:01 +0100 | <aka_dude> | Can't find though |
| 2026-03-12 22:39:56 +0100 | <aka_dude> | I implemented a type family for that but hoped there is something in base for that |
| 2026-03-12 22:37:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-12 22:37:46 +0100 | <aka_dude> | How to concatenate to lists on type level? |
| 2026-03-12 22:32:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 22:28:37 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-03-12 22:28:14 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-12 22:26:34 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-03-12 22:21:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-12 22:17:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 22:16:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |