Newest at the top
| 2025-01-17 20:43:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-17 20:43:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-01-17 20:43:17 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-17 20:41:38 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-17 20:40:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 20:38:48 +0100 | sprotte24 | (~sprotte24@p200300d16f42e000280df7176889acea.dip0.t-ipconnect.de) |
| 2025-01-17 20:36:57 +0100 | euleritian | (~euleritia@dynamic-176-006-141-141.176.6.pool.telefonica.de) |
| 2025-01-17 20:36:42 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 244 seconds) |
| 2025-01-17 20:36:21 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-17 20:29:33 +0100 | jespada | (~jespada@2800:a4:dd:6900:c1bf:43ce:3d23:1885) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-17 20:29:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 20:25:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 20:18:51 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-17 20:16:57 +0100 | <Leary> | Bowuigi: It worked because `TypeInType`---there's no kind error. GHC doesn't know of any non-bottom /values/ of /type/ `Type`, but if you take one as an argument you're free to return it. |
| 2025-01-17 20:14:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-17 20:09:33 +0100 | <haskellbridge> | <Bowuigi> That's so odd |
| 2025-01-17 20:08:59 +0100 | <haskellbridge> | <thirdofmay18081814goya> language extensions |
| 2025-01-17 20:08:55 +0100 | <haskellbridge> | <thirdofmay18081814goya> i mean |
| 2025-01-17 20:08:42 +0100 | <haskellbridge> | <thirdofmay18081814goya> it just uses the mentioned type families |
| 2025-01-17 20:07:59 +0100 | <haskellbridge> | <Bowuigi> That makes me wonder how did it work on the first place, is this type support in functions some new feature? |
| 2025-01-17 20:06:51 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314 |
| 2025-01-17 20:06:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 20:06:13 +0100 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 244 seconds) |
| 2025-01-17 20:03:45 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2025-01-17 20:03:18 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: ColinRobinson) |
| 2025-01-17 19:58:04 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3cb6) ensyde |
| 2025-01-17 19:57:29 +0100 | Moyst__ | (~moyst@user/moyst) (Ping timeout: 252 seconds) |
| 2025-01-17 19:55:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-17 19:53:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-17 19:53:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-17 19:49:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-17 19:48:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 19:46:41 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3cb6) (Quit: WeeChat 4.5.1) |
| 2025-01-17 19:42:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-17 19:41:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-17 19:41:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-01-17 19:38:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 19:37:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 19:33:48 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
| 2025-01-17 19:30:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 19:29:37 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-17 19:29:31 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-17 19:26:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 19:25:31 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-17 19:22:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 19:21:59 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-17 19:19:13 +0100 | <haskellbridge> | <thirdofmay18081814goya> woah neat! thank you! was going about installing agda to see how "agda2hs" did it lol |
| 2025-01-17 19:18:25 +0100 | <Leary> | thirdofmay: https://paste.tomsmeding.com/2Z1gryW2 |
| 2025-01-17 19:15:00 +0100 | jespada | (~jespada@2800:a4:dd:6900:c1bf:43ce:3d23:1885) jespada |
| 2025-01-17 19:14:02 +0100 | jespada | (~jespada@2800:a4:dd:6900:c1bf:43ce:3d23:1885) (Quit: My Mac has gone to sleep. ZZZzzz…) |