Newest at the top
| 2025-11-04 14:16:47 +0100 | Core3653 | (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2025-11-04 14:16:19 +0100 | nerdychip | (~nerdychip@user/nerdychip) (WeeChat 3.8) |
| 2025-11-04 14:14:40 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:f406:f8ff:fe1b:cd44) |
| 2025-11-04 14:12:54 +0100 | akegalj | (~akegalj@78-1-55-1.adsl.net.t-com.hr) |
| 2025-11-04 14:07:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-11-04 14:04:29 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 14:01:06 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 14:00:54 +0100 | deptype | (~deptype@2406:b400:3a:73c2:dea6:cbd0:e1b4:ab7b) |
| 2025-11-04 14:00:34 +0100 | deptype | (~deptype@2406:b400:3a:73c2:fd50:bbf7:466a:c9a9) (Remote host closed the connection) |
| 2025-11-04 13:55:39 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-04 13:50:46 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 13:50:36 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 13:50:03 +0100 | bggd | (~bgg@2a01:e0a:819:1510:5fce:dd4e:6143:f2ae) |
| 2025-11-04 13:49:33 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 13:47:28 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 13:47:06 +0100 | wickedjargon | (~user@64.114.24.74) (Ping timeout: 252 seconds) |
| 2025-11-04 13:45:36 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 13:45:25 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 13:44:32 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 13:40:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 13:38:56 +0100 | <merijn> | mreh: Which GHC's type-checker (intentionally) does not support |
| 2025-11-04 13:38:40 +0100 | <merijn> | mreh: You can't elide arguments to `type` aliases as that requires treating them as type-level functions |
| 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 |