Newest at the top
| 2025-09-28 20:10:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 20:09:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-28 20:07:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 20:06:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-28 20:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:49:21 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-09-28 19:43:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 19:38:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:36:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-28 19:34:01 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 19:33:47 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 19:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:29:47 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 19:27:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-28 19:26:33 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-28 19:26:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:24:07 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-09-28 19:22:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 19:22:32 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 19:21:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-09-28 19:18:33 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-28 19:16:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-28 19:15:51 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 19:15:47 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 19:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 19:11:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 19:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 19:06:35 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 19:06:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-09-28 19:03:22 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-28 18:58:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 18:58:07 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 18:55:03 +0200 | <dcpagan> | I solved it: I had to add an instance statement for the class. |
| 2025-09-28 18:54:48 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
| 2025-09-28 18:53:55 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-09-28 18:53:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:46:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-28 18:44:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-28 18:43:31 +0200 | <dcpagan> | You can clone it here: https://github.com/DCPagan/Exercism-Haskell/blob/master/house/src/House.hs#L116-L117 |
| 2025-09-28 18:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 18:42:33 +0200 | <dcpagan> | I cannot use the associated type families, but the closed type families work. |
| 2025-09-28 18:41:50 +0200 | <dcpagan> | lyxia: The code "rhyme = symbolVal $ Proxy @(Song SongLength)" throws the type error "No instance for (KnownSymbol (Song SongLength) arising from a use of 'symbolVal'". |
| 2025-09-28 18:40:46 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 18:40:45 +0200 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 18:40:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-28 18:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-28 18:36:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 18:36:25 +0200 | Guest63 | (~Guest25@49.43.241.130) (Client Quit) |
| 2025-09-28 18:35:52 +0200 | Guest63 | (~Guest25@49.43.241.130) |