Newest at the top
| 2024-12-30 22:26:54 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:24:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 22:24:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-30 22:20:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:16:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-30 22:14:01 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 22:13:20 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:12:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 22:12:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Read error: Connection reset by peer) |
| 2024-12-30 22:07:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 22:06:18 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 22:04:42 +0100 | tmr | tamer |
| 2024-12-30 22:03:10 +0100 | tmr | (~tamer@user/tamer) tamer |
| 2024-12-30 22:03:10 +0100 | tmr | (~tamer@5.2.74.82) (Changing host) |
| 2024-12-30 22:02:46 +0100 | <hellwolf> | closed type family can work too, you get a Bool kind and then you can write type classes of it |
| 2024-12-30 22:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:01:42 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip4d14127c.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-12-30 22:00:58 +0100 | CrunchyFlakes | (~CrunchyFl@95.91.70.99) |
| 2024-12-30 22:00:57 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:00:35 +0100 | <hellwolf> | statically decide the outout for you |
| 2024-12-30 22:00:05 +0100 | <hellwolf> | use typeclass |
| 2024-12-30 21:50:09 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 21:49:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 21:49:24 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2024-12-30 21:46:50 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-12-30 21:44:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 21:43:49 +0100 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2024-12-30 21:42:11 +0100 | ft | (~ft@p3e9bc988.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-12-30 21:36:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-30 21:36:27 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 21:35:36 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2024-12-30 21:34:59 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 245 seconds) |
| 2024-12-30 21:34:51 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-30 21:34:37 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2024-12-30 21:33:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 21:32:24 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-30 21:31:05 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-30 21:26:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 21:23:58 +0100 | <int-e> | Eh, I don't know. I'm probably wrong. It is interesting that this doesn't tie into Data.Typeable out of the box. |
| 2024-12-30 21:23:37 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p |
| 2024-12-30 21:23:34 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2024-12-30 21:19:17 +0100 | <int-e> | I guess `TestEquality` is meant for things that are compile time decidable |
| 2024-12-30 21:18:30 +0100 | <int-e> | Yeah I didn't read enough context. `f` is the argument of the TestEquality class. |
| 2024-12-30 21:17:58 +0100 | <carbolymer> | for some reason |
| 2024-12-30 21:17:55 +0100 | <int-e> | ah |
| 2024-12-30 21:17:50 +0100 | <carbolymer> | int-e: but there's no `TestEquality Proxy` |
| 2024-12-30 21:16:21 +0100 | <carbolymer> | I'm tired |
| 2024-12-30 21:16:18 +0100 | <carbolymer> | shit I |
| 2024-12-30 21:16:16 +0100 | <carbolymer> | Data.Typeable I mean |
| 2024-12-30 21:16:05 +0100 | <carbolymer> | thanks! |