Newest at the top
| 2025-11-04 14:37:35 +0100 | Googulator3 | Googulator |
| 2025-11-04 14:36:10 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-31.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-11-04 14:35:41 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 14:35:38 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 14:32:54 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-11-04 14:32:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-11-04 14:32:37 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:f406:f8ff:fe1b:cd44) (Ping timeout: 255 seconds) |
| 2025-11-04 14:32:24 +0100 | Core7452 | (~Zemy@mobile-107-80-206-31.mycingular.net) |
| 2025-11-04 14:29:32 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-31.mycingular.net) |
| 2025-11-04 14:27:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 14:25:11 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 14:24:56 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-04 14:21:00 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-04 14:20:45 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 14:20:39 +0100 | Googulator97 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 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) |