Newest at the top
2025-10-06 19:32:56 +0200 | Square | (~Square@user/square) Square |
2025-10-06 19:32:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-10-06 19:31:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 19:31:16 +0200 | int-e_ | int-e |
2025-10-06 19:31:09 +0200 | int-e | (~noone@int-e.eu) (Killed (NickServ (GHOST command used by int-e_))) |
2025-10-06 19:30:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-10-06 19:30:47 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-06 19:30:41 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-06 19:30:28 +0200 | int-e_ | (~noone@int-e.eu) int-e |
2025-10-06 19:29:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-10-06 19:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-06 19:19:16 +0200 | <dminuoso> | We Haskellers just love using funky names |
2025-10-06 19:18:51 +0200 | <dminuoso> | "Remember to zonk the skolems of an implication" |
2025-10-06 19:18:42 +0200 | <dminuoso> | https://mail.haskell.org/pipermail/cvs-ghc/2012-September/076185.html |
2025-10-06 19:17:48 +0200 | <mauke> | *zonk* |
2025-10-06 19:17:05 +0200 | <dminuoso> | Mmm, staring at the text it does not read that complicated. |
2025-10-06 19:13:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 19:13:05 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-10-06 19:10:42 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-06 19:10:39 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-06 19:06:36 +0200 | yang_ | yin |
2025-10-06 19:04:31 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-06 19:04:15 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-06 19:02:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-06 18:57:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 18:57:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-06 18:57:22 +0200 | dostoevsky_ | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
2025-10-06 18:46:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-06 18:39:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 18:28:02 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-10-06 18:26:49 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-10-06 18:25:24 +0200 | craunts79 | (~craunts@136.158.7.194) (Client Quit) |
2025-10-06 18:24:46 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-10-06 18:24:33 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-06 18:24:08 +0200 | craunts79 | (~craunts@136.158.7.194) |
2025-10-06 18:17:12 +0200 | vladbxb | (~vladbxb@109.103.68.106) (Client Quit) |
2025-10-06 18:13:37 +0200 | vladbxb | (~vladbxb@109.103.68.106) |
2025-10-06 17:59:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
2025-10-06 17:51:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
2025-10-06 17:51:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-06 17:29:10 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
2025-10-06 17:25:51 +0200 | <[exa]> | :D |
2025-10-06 17:25:49 +0200 | <[exa]> | yeah I'm completely lost there |
2025-10-06 17:25:32 +0200 | <tomsmeding> | reporting bugs like these to ghc is fun, you get to see very smart people solve problems |
2025-10-06 17:24:31 +0200 | <[exa]> | tomsmeding: wow cool, thx |
2025-10-06 17:19:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-10-06 17:13:20 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-06 17:11:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-10-06 17:07:47 +0200 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
2025-10-06 17:06:47 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |