Newest at the top
| 2024-10-29 19:13:52 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-29 19:11:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-29 19:07:48 +0100 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
| 2024-10-29 19:04:11 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-29 19:02:51 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-29 18:59:41 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-29 18:53:28 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-29 18:47:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-29 18:47:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-29 18:46:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-29 18:43:54 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-10-29 18:42:24 +0100 | spew | (~spew@201.141.99.170) spew |
| 2024-10-29 18:39:12 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-29 18:38:44 +0100 | euleritian | (~euleritia@dynamic-176-003-086-054.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-29 18:36:39 +0100 | euleritian | (~euleritia@dynamic-176-003-086-054.176.3.pool.telefonica.de) |
| 2024-10-29 18:36:10 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-29 18:35:51 +0100 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-10-29 18:35:17 +0100 | euleritian | (~euleritia@dynamic-176-003-086-054.176.3.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-10-29 18:28:56 +0100 | euleritian | (~euleritia@dynamic-176-003-086-054.176.3.pool.telefonica.de) |
| 2024-10-29 18:25:30 +0100 | vglfr | (~vglfr@2607:fb91:848:44ab:ad2:e57:e15b:944b) (Read error: Connection reset by peer) |
| 2024-10-29 18:23:39 +0100 | vglfr | (~vglfr@2607:fb91:848:44ab:ad2:e57:e15b:944b) vglfr |
| 2024-10-29 18:23:36 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-29 18:22:51 +0100 | vglfr | (~vglfr@2607:fb90:ea0e:4092:ac39:c391:8228:99c1) (Ping timeout: 246 seconds) |
| 2024-10-29 18:22:31 +0100 | <haskellbridge> | <maralorn> proofJSON :: ((ToJSON b, FromJSON b) => r) -> MyAssociatedGADT a b -> r |
| 2024-10-29 18:22:00 +0100 | <haskellbridge> | <maralorn> Ah, got it. |
| 2024-10-29 18:21:55 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-29 18:18:33 +0100 | <haskellbridge> | Does anyone know how I can make instances Proof that "b" fullfills a a certain constraint. e.g. Show? |
| 2024-10-29 18:18:31 +0100 | <haskellbridge> | <maralorn> I am trying to associate a GADT with a type class. i.e. "class MyClass a where data MyAssociatedGADT a b". |
| 2024-10-29 18:18:30 +0100 | vglfr | (~vglfr@2607:fb90:ea0e:4092:ac39:c391:8228:99c1) vglfr |
| 2024-10-29 18:17:42 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 252 seconds) |
| 2024-10-29 18:16:12 +0100 | ljdarj1 | ljdarj |
| 2024-10-29 18:16:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-29 18:14:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-29 18:11:34 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-29 18:11:03 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-29 18:09:36 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-29 18:09:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-29 18:07:04 +0100 | euleritian | (~euleritia@dynamic-176-007-141-251.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-29 18:05:22 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-29 18:01:54 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-29 18:00:38 +0100 | euleritian | (~euleritia@dynamic-176-007-141-251.176.7.pool.telefonica.de) |
| 2024-10-29 18:00:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-29 17:58:55 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-29 17:55:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-29 17:55:18 +0100 | euleritian | (~euleritia@dynamic-176-006-130-165.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-29 17:39:03 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-29 17:31:39 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-29 17:26:35 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-29 17:24:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-29 17:23:45 +0100 | Katarushisu3 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |