2025/08/03

Newest at the top

2025-08-03 16:11:47 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-03 16:06:09 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-03 16:05:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 16:05:21 +0200 <lxsameer> folks, is it possible to inspect the AST of a haskell function or datatype?
2025-08-03 16:01:21 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 16:00:48 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-03 15:58:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:56:07 +0200poscat(~poscat@user/poscat) poscat
2025-08-03 15:52:55 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-08-03 15:48:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-03 15:47:40 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-08-03 15:46:04 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 15:43:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:32:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-03 15:31:45 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)
2025-08-03 15:30:13 +0200jespada(~jespada@2800:a4:2303:d900:b08d:81d0:3400:c094) jespada
2025-08-03 15:29:07 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-03 15:28:42 +0200jespada(~jespada@2800:a4:2391:a900:2c34:10a0:7dd4:5c32) (Ping timeout: 265 seconds)
2025-08-03 15:28:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:27:51 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-03 15:27:49 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-08-03 15:27:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-08-03 15:26:04 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 15:25:50 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 15:24:07 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-03 15:23:00 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-03 15:17:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 15:14:38 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 15:12:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 15:07:07 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-08-03 15:06:42 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Remote host closed the connection)
2025-08-03 15:02:45 +0200JimmyMifune(JimmyMifun@h77-53-77-194.cust.bredband2.com)
2025-08-03 15:02:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-03 15:01:00 +0200caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-08-03 14:57:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:53:31 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-08-03 14:53:17 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-03 14:53:14 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 14:52:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-03 14:47:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:47:07 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-03 14:46:58 +0200weary-traveler(~user@user/user363627) user363627
2025-08-03 14:40:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-08-03 14:37:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-03 14:35:32 +0200trickard_trickard
2025-08-03 14:35:29 +0200caubert(~caubert@user/caubert) caubert
2025-08-03 14:35:03 +0200Ezic(~Ezic@2a02:a31c:2d8:4400:6424:8966:5ad2:3460) (Quit: Client closed)
2025-08-03 14:34:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-03 14:32:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-03 14:26:45 +0200tromp(~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf)