Newest at the top
| 2024-10-06 08:55:08 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone got a good intro for domain-theoretic semantic of recursive types? |
| 2024-10-06 08:54:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 08:50:42 +0200 | Square | (~Square@user/square) Square |
| 2024-10-06 08:49:35 +0200 | Square | (~Square@user/square) (Client Quit) |
| 2024-10-06 08:48:37 +0200 | Square | (~Square@user/square) Square |
| 2024-10-06 08:40:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 08:39:41 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-10-06 08:36:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 08:28:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-06 08:22:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 08:18:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 08:13:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:943:dffd:9430:e374) |
| 2024-10-06 08:10:21 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds) |
| 2024-10-06 08:08:13 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-10-06 08:08:13 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-06 08:07:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:858f:f870:90c:1b39) (Ping timeout: 246 seconds) |
| 2024-10-06 08:05:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-06 07:57:19 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-06 07:57:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-06 07:56:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 07:56:04 +0200 | rosco | (~rosco@183.171.107.70) rosco |
| 2024-10-06 07:52:59 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-06 07:51:50 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-06 07:45:27 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-06 07:45:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-06 07:41:03 +0200 | wanted | (~wanted@2.219.56.221) |
| 2024-10-06 07:40:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 07:39:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-06 07:38:55 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 2024-10-06 07:37:48 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-06 07:32:35 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-10-06 07:32:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-06 07:30:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2024-10-06 07:28:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-06 07:25:46 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-06 07:25:03 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
| 2024-10-06 07:23:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 07:18:18 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-06 07:11:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-06 07:06:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 07:05:22 +0200 | <geekosaur> | supposedly there's work to make warnings more fine-grained, but I don't know the status |
| 2024-10-06 07:04:58 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
| 2024-10-06 07:03:42 +0200 | <Axman6> | GHC needs #pragma push and #pragma pop |
| 2024-10-06 07:00:34 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-10-06 06:53:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-06 06:53:28 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-06 06:52:53 +0200 | falafel | (~falafel@198.101.119.52) (Ping timeout: 244 seconds) |
| 2024-10-06 06:52:44 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
| 2024-10-06 06:49:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-10-06 06:47:32 +0200 | finn_elija | FinnElija |