Newest at the top
| 2025-01-17 22:12:08 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-17 22:11:00 +0100 | <haskellbridge> | <thirdofmay18081814goya> where "B" is a binary type-level operator |
| 2025-01-17 22:10:21 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/bfslQLLKLEWmGEEOBGPzXZoN/W2_SWeb9p5U (4 lines) |
| 2025-01-17 22:10:21 +0100 | <haskellbridge> | <thirdofmay18081814goya> uh not sure if irc gets images, here: |
| 2025-01-17 22:10:08 +0100 | ephilalethes | (~noumenon@182.0.203.121) noumenon |
| 2025-01-17 22:10:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 22:09:56 +0100 | <haskellbridge> | <thirdofmay18081814goya> https://kf8nh.com/_heisenbridge/media/matrix.org/kBqPWoKqZUTyiUEsoYvUgTHC/_qzQbc_U3jo/image.png |
| 2025-01-17 22:09:54 +0100 | <haskellbridge> | <thirdofmay18081814goya> ultimately am trying to get an analog to |
| 2025-01-17 22:09:23 +0100 | <haskellbridge> | <thirdofmay18081814goya> anyone have suggestions on how we could encode such a type family? |
| 2025-01-17 22:08:55 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm yes, "forall (a :: Type) (b :: Type). a -> b" does not itself have type "Type" |
| 2025-01-17 22:08:25 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-17 22:08:05 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 2025-01-17 22:07:51 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm wait, is it? |
| 2025-01-17 22:06:00 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/neYpbolADunqHNZVAEVEzVmd/tkzoiq-k2Wo (3 lines) |
| 2025-01-17 22:06:00 +0100 | <haskellbridge> | <thirdofmay18081814goya> is it possible to write something like this in haskell? |
| 2025-01-17 22:05:55 +0100 | <haskellbridge> | <thirdofmay18081814goya> which makes sense because that's one universe higher than "Type" |
| 2025-01-17 22:05:49 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-17 22:05:36 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-17 22:05:33 +0100 | <haskellbridge> | <thirdofmay18081814goya> I get illegal polymorphic type |
| 2025-01-17 22:05:14 +0100 | <haskellbridge> | <thirdofmay18081814goya> +:: Type |
| 2025-01-17 22:04:56 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/nrHaYMVNJVTbkERRMZVHrUfZ/MuJn5bDBuW0 (3 lines) |
| 2025-01-17 22:04:56 +0100 | <haskellbridge> | <thirdofmay18081814goya> is it possible to write something like this in haskell? |
| 2025-01-17 22:04:46 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm |
| 2025-01-17 22:01:50 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-17 22:01:48 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2025-01-17 22:01:28 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-17 22:01:25 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-01-17 21:58:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-17 21:56:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 21:56:28 +0100 | akegalj | (~akegalj@168-159.dsl.iskon.hr) (Quit: leaving) |
| 2025-01-17 21:54:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 21:53:55 +0100 | euleritian | (~euleritia@dynamic-176-006-141-141.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-17 21:49:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 21:41:06 +0100 | tnt2 | tnt1 |
| 2025-01-17 21:41:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-17 21:40:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-17 21:39:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 21:38:59 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 21:37:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-17 21:35:00 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-17 21:34:44 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-17 21:34:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 21:34:34 +0100 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) johnjaye |
| 2025-01-17 21:32:24 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-17 21:31:59 +0100 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-17 21:31:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-17 21:30:51 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-17 21:30:11 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-17 21:29:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-17 21:28:44 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
