Newest at the top
| 2026-02-25 17:01:49 +0100 | Psychotic1__ | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 17:01:37 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-25 17:01:08 +0100 | Psychotic1_ | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 16:59:46 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 16:59:20 +0100 | Psychotic1 | (~Psychotic@65.sub-174-245-22.myvzw.com) (Ping timeout: 245 seconds) |
| 2026-02-25 16:57:49 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-25 16:56:43 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 264 seconds) |
| 2026-02-25 16:52:54 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-25 16:52:39 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 255 seconds) |
| 2026-02-25 16:49:05 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-25 16:48:30 +0100 | Psychotic1 | (~Psychotic@65.sub-174-245-22.myvzw.com) |
| 2026-02-25 16:48:09 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-25 16:43:32 +0100 | fp | (~Thunderbi@2001:708:150:10::9d7e) (Quit: fp) |
| 2026-02-25 16:36:09 +0100 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2026-02-25 16:35:31 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-25 16:34:57 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) (Quit: Leaving) |
| 2026-02-25 16:33:12 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) |
| 2026-02-25 16:32:59 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) (Server closed connection) |
| 2026-02-25 16:29:00 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-25 16:25:48 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-25 16:25:39 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-25 16:23:50 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-02-25 16:23:39 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2026-02-25 16:22:21 +0100 | fp | (~Thunderbi@2001:708:150:10::9d7e) fp |
| 2026-02-25 16:20:43 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 264 seconds) |
| 2026-02-25 16:19:21 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 255 seconds) |
| 2026-02-25 16:17:17 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-02-25 16:16:59 +0100 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2026-02-25 16:14:56 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-25 16:12:32 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-25 16:12:23 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) |
| 2026-02-25 16:08:35 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-02-25 16:00:35 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 245 seconds) |
| 2026-02-25 15:56:07 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-25 15:52:34 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) fp |
| 2026-02-25 15:51:00 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2026-02-25 15:49:31 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-25 15:46:05 +0100 | <dminuoso> | ghc: panic! (the 'impossible' happened) (GHC version 9.2.8: primRepToFFIType |
| 2026-02-25 15:46:03 +0100 | <dminuoso> | By the way, its striking how often the impossible happens to me. |
| 2026-02-25 15:40:09 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 248 seconds) |
| 2026-02-25 15:38:27 +0100 | sttau | (~sttau@199.180.255.81) |
| 2026-02-25 15:38:19 +0100 | sttau | (~sttau@199.180.255.81) (Server closed connection) |
| 2026-02-25 15:36:29 +0100 | <yahb2> | foo :: Num a => a |
| 2026-02-25 15:36:29 +0100 | <mauke> | % :t foo |
| 2026-02-25 15:36:25 +0100 | <yahb2> | <no output> |
| 2026-02-25 15:36:24 +0100 | <mauke> | % [foo] = [42] |
| 2026-02-25 15:35:05 +0100 | <dminuoso> | mauke: MMR does not kick in for these non-trivial bindings, and I think (f, g) was even mentioned as an example in the report. |
| 2026-02-25 15:34:13 +0100 | <dminuoso> | Okay, that explains that part too, then. |
| 2026-02-25 15:34:06 +0100 | <dminuoso> | __monty__: Ugh. |
| 2026-02-25 15:33:43 +0100 | <__monty__> | dminuoso: As for PS, "enabled by the language extension PatternSynonyms, which is required for defining them, but not for using them." |