Newest at the top
| 2026-02-19 10:59:14 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-19 10:56:32 +0100 | Googulator72 | Googulator |
| 2026-02-19 10:56:29 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 10:55:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 10:54:10 +0100 | mangoiv | (~mangoiv@user/mangoiv) mangoiv |
| 2026-02-19 10:54:10 +0100 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-02-19 10:54:05 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 10:53:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-02-19 10:53:06 +0100 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-02-19 10:52:51 +0100 | mangoiv | (~mangoiv@user/mangoiv) (Server closed connection) |
| 2026-02-19 10:52:29 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 10:49:01 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-02-19 10:47:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-19 10:46:47 +0100 | <chromoblob> | well, i was joking |
| 2026-02-19 10:40:39 +0100 | <gentauro> | jackdk: and sshine -> https://github.com/sdiehl/wiwinwlh/tree/master and https://sdiehl.github.io/wiwinwlh/ ;) |
| 2026-02-19 10:38:48 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2026-02-19 10:38:30 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 10:38:16 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-19 10:38:11 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 10:35:38 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-02-19 10:34:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-19 10:34:51 +0100 | anpad | (~pandeyan@user/anpad) (Server closed connection) |
| 2026-02-19 10:32:21 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-19 10:31:37 +0100 | <int-e> | So, sure, we *could* do that, and there's a related thing in EmptyCase, but I strongly disagree that we should. |
| 2026-02-19 10:30:58 +0100 | <int-e> | The compiler error that a declaration has no corresponding definition is practically useful though. And note that the declaration doesn't have to be next to the definition, so depending on coding style this won't be immediately obvious. |
| 2026-02-19 10:29:01 +0100 | fp | (~Thunderbi@130.233.70.214) (Ping timeout: 267 seconds) |
| 2026-02-19 10:28:08 +0100 | <chromoblob> | when extension... |
| 2026-02-19 10:27:46 +0100 | <chromoblob> | it occured to me now that we should allow function definitions with no equations, which when called simply return "non-exhaustive patterns" error |
| 2026-02-19 10:27:29 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 10:25:17 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 10:21:17 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 10:15:15 +0100 | sshine | (~simon@dao.mechanicus.xyz) sshine |
| 2026-02-19 10:14:59 +0100 | sshine_ | (~simon@dao.mechanicus.xyz) (Server closed connection) |
| 2026-02-19 10:10:30 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-19 10:08:39 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-19 10:06:30 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-02-19 10:06:19 +0100 | ladyfriday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 2026-02-19 10:03:07 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2026-02-19 10:02:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-19 09:59:23 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-19 09:56:53 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2026-02-19 09:55:06 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-02-19 09:52:32 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-19 09:51:44 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-19 09:48:51 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 09:48:27 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-19 09:45:31 +0100 | fp | (~Thunderbi@130.233.70.214) fp |