2025/09/28

Newest at the top

2025-09-28 19:43:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-28 19:38:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 19:36:15 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-28 19:34:01 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-28 19:33:47 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-28 19:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-28 19:29:47 +0200fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection)
2025-09-28 19:27:12 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-09-28 19:26:33 +0200talismanick(~user@2601:644:937c:ed10::c8dc) talismanick
2025-09-28 19:26:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 19:24:07 +0200fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2025-09-28 19:22:53 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-09-28 19:22:32 +0200talismanick(~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer)
2025-09-28 19:21:13 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds)
2025-09-28 19:18:33 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-28 19:16:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-28 19:15:51 +0200Googulator64(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 19:15:47 +0200Googulator54(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 19:14:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-09-28 19:11:56 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-09-28 19:09:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 19:06:35 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2025-09-28 19:06:31 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2025-09-28 19:03:22 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-09-28 18:58:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-28 18:58:07 +0200fp(~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 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds)
2025-09-28 18:53:55 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-09-28 18:53:42 +0200merijn(~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 +0200humasect(~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 +0200merijn(~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 +0200Googulator54(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-28 18:40:45 +0200Googulator72(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-28 18:40:10 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-09-28 18:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 18:36:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-28 18:36:25 +0200Guest63(~Guest25@49.43.241.130) (Client Quit)
2025-09-28 18:35:52 +0200Guest63(~Guest25@49.43.241.130)
2025-09-28 18:29:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-28 18:29:40 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-09-28 18:24:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-28 18:23:57 +0200 <__monty__> Some other editors also do.
2025-09-28 18:23:40 +0200 <slondr> Ohh I see, it's similar to prettify-symbols-mode
2025-09-28 18:23:22 +0200 <slondr> oh it's a vim thing?
2025-09-28 18:22:28 +0200 <__monty__> slondr: `:h conceal` in Vim.