Newest at the top
| 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…) |
| 2025-01-17 19:11:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 19:09:23 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 19:06:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 19:01:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-17 19:00:36 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-17 19:00:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-17 18:57:10 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-17 18:57:07 +0100 | Digit | (~user@user/digit) Digit |
| 2025-01-17 18:55:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-17 18:54:29 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-17 18:54:04 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 252 seconds) |
| 2025-01-17 18:52:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-17 18:51:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |