Newest at the top
| 2025-12-25 04:09:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 04:07:35 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 04:06:36 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 04:04:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:56:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-25 03:53:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 03:48:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 03:33:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:24:54 +0100 | confusedalex_ | confusedalex |
| 2025-12-25 03:24:54 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 260 seconds) |
| 2025-12-25 03:24:17 +0100 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-25 03:22:44 +0100 | <haskellbridge> | <Zemyla> You know the IsChar type from Text.Printf? It really should be toCharF :: f a -> f Char and vice versa. |
| 2025-12-25 03:22:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 03:21:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-25 03:17:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 03:16:36 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 03:15:30 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 03:14:44 +0100 | wennefer96 | (~wennefer0@user/wennefer0) () |
| 2025-12-25 03:12:15 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 03:08:05 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 03:06:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 03:05:39 +0100 | wennefer96 | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-25 02:59:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:52:53 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh |
| 2025-12-25 02:51:45 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer) |
| 2025-12-25 02:48:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 02:43:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:41:33 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2025-12-25 02:39:46 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-25 02:36:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-25 02:33:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 02:27:57 +0100 | <ski> | Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?) |
| 2025-12-25 02:27:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:25:17 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-25 02:25:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-25 02:24:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-25 02:22:21 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-25 02:16:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:13:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 02:12:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:11:20 +0100 | <haskellbridge> | <Liamzee> unsafe ccall |
| 2025-12-25 02:08:58 +0100 | <haskellbridge> | <Zemyla> So I'm thinking that, if you have RankNTypes but not GADTs or the type equality constraint, you could express equality with newtype (a :: k) :~: (b :: k) = Refl { runRefl :: forall f. f a -> f b } |
| 2025-12-25 02:07:29 +0100 | <haskellbridge> | <Liamzee> hum |
| 2025-12-25 02:07:26 +0100 | <haskellbridge> | <Liamzee> so it freezes execution |
| 2025-12-25 02:07:14 +0100 | <haskellbridge> | <Liamzee> oh cool, so traceIO compared to traceM uses an unsafe import |
| 2025-12-25 02:01:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 01:56:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:46:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 01:46:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |