Newest at the top
| 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 |
| 2026-03-12 22:09:23 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2026-03-12 22:09:23 +0100 | chewybread | (~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) (Changing host) |
| 2026-03-12 22:09:23 +0100 | chewybread | (~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) |
| 2026-03-12 22:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-12 22:03:38 +0100 | <jreicher> | gentauro: what's the protocol (and server?) architecture? |
| 2026-03-12 22:02:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 22:02:00 +0100 | <sm> | so you know what to do :-) |
| 2026-03-12 22:01:36 +0100 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 264 seconds) |
| 2026-03-12 21:57:06 +0100 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2026-03-12 21:57:06 +0100 | chewybread | (~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) (Changing host) |
| 2026-03-12 21:57:06 +0100 | chewybread | (~chewybrea@240b:10:9502:4100:80a2:daac:f3ad:170) |
| 2026-03-12 21:51:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-12 21:47:13 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-12 21:46:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-12 21:45:38 +0100 | AlexNoo__ | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 21:44:34 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 21:44:02 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |