Newest at the top
2024-05-08 08:26:38 +0200 | bilegeek | (~bilegeek@2600:1008:b014:ebc1:4bd5:a3ce:5a0b:f69e) (Quit: Leaving) |
2024-05-08 08:25:52 +0200 | p3n | (~p3n@217.198.124.246) |
2024-05-08 08:24:46 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-08 08:23:45 +0200 | mei | (~mei@user/mei) |
2024-05-08 08:23:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-08 08:21:21 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-08 08:11:46 +0200 | <jackdk> | Such a great feature |
2024-05-08 08:11:38 +0200 | <jackdk> | I remember when that was the new hotness |
2024-05-08 08:07:43 +0200 | <Axman6> | that is super helpful, though what I axctually meant to say was pragma, not language extension. Was wondering which GHC introduced COMPLETE pragmas (looks like it's 8.10) |
2024-05-08 08:04:01 +0200 | <jackdk> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/table.html On the page for each extension. I don't know of a summary table |
2024-05-08 08:03:48 +0200 | euleritian | (~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) |
2024-05-08 08:03:35 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
2024-05-08 08:02:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc4620c1ab79f2b90d95.dip0.t-ipconnect.de) |
2024-05-08 08:01:43 +0200 | <Axman6> | Is there a reference for which GHC versions introduced language pragmas? |
2024-05-08 08:00:34 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 268 seconds) |
2024-05-08 08:00:12 +0200 | euleritian | (~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-08 08:00:10 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-08 07:55:53 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-08 07:52:21 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
2024-05-08 07:50:38 +0200 | euleritian | (~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) |
2024-05-08 07:48:59 +0200 | Me-me | (~me-me@kc.randomserver.name) |
2024-05-08 07:48:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-05-08 07:42:40 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Quit: Disconnecting on purpose.) |
2024-05-08 07:38:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-08 07:37:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-08 07:35:53 +0200 | euleritian | (~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-08 07:35:35 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
2024-05-08 07:32:53 +0200 | Me-me | (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
2024-05-08 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-08 07:29:41 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 240 seconds) |
2024-05-08 07:26:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-08 07:25:39 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-08 07:21:16 +0200 | euleritian | (~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) |
2024-05-08 07:20:18 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-05-08 07:20:17 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 252 seconds) |
2024-05-08 07:20:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-05-08 07:17:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-08 07:15:44 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-08 07:06:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-08 07:05:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-08 07:02:42 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-08 07:02:25 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 255 seconds) |
2024-05-08 06:58:04 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-08 06:42:25 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-08 06:36:35 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 272 seconds) |
2024-05-08 06:31:37 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-08 06:24:47 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
2024-05-08 06:21:02 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-08 06:17:21 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
2024-05-08 06:05:39 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 260 seconds) |