Newest at the top
| 2025-11-04 13:36:56 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-04 13:36:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-04 13:35:57 +0100 | <mreh> | subtle distinction perhaps? |
| 2025-11-04 13:35:45 +0100 | <mreh> | Nevermind, I'd defined it as `type ExprM a = ...` |
| 2025-11-04 13:34:29 +0100 | tromp | (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-04 13:33:44 +0100 | <mreh> | am I missing an extension? |
| 2025-11-04 13:33:29 +0100 | <mreh> | "typecheck: • The type synonym ‘ExprM’ should have 1 argument, but has been given none" |
| 2025-11-04 13:31:42 +0100 | <mreh> | WriterT [ByteString] ExprM a -- why is GHC insisting I fully saturate the type synonym ExprM? |
| 2025-11-04 13:30:49 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-04 13:30:49 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 13:26:31 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-04 13:26:06 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 13:26:00 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 13:22:34 +0100 | akegalj | (~akegalj@212.15.178.32) (Read error: Connection reset by peer) |
| 2025-11-04 13:21:37 +0100 | trickard_ | trickard |
| 2025-11-04 13:15:44 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 13:15:44 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 13:14:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 13:09:34 +0100 | Vajb | (~Vajb@n60ck02t8pyq870qtsc-1.v6.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 2025-11-04 13:07:12 +0100 | akegalj | (~akegalj@212.15.178.32) |
| 2025-11-04 12:54:31 +0100 | akegalj | (~akegalj@78-2-216-143.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 2025-11-04 12:49:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-04 12:48:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-04 12:43:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-04 12:40:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-04 12:39:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-04 12:39:10 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 256 seconds) |
| 2025-11-04 12:35:27 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-04 12:34:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-04 12:34:16 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-11-04 12:31:26 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b8d3:535b:6331:cc78) |
| 2025-11-04 12:24:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-04 12:23:43 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-11-04 12:22:13 +0100 | Digitteknohippie | Digit |
| 2025-11-04 12:06:10 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-04 12:04:53 +0100 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-11-04 12:04:41 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) synchromesh |
| 2025-11-04 12:03:45 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:4c17:84ee:e20a:8167) (Read error: Connection reset by peer) |
| 2025-11-04 12:02:47 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 12:02:22 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-04 11:59:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-04 11:57:35 +0100 | ridcully_ | ridcully |
| 2025-11-04 11:55:20 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-11-04 11:54:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 11:52:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-04 11:48:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-04 11:34:26 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 11:34:04 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 11:33:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-04 11:27:24 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |