2024/05/08

Newest at the top

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 +0200euleritian(~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de)
2024-05-08 08:03:35 +0200Square2(~Square4@user/square) (Ping timeout: 264 seconds)
2024-05-08 08:02:21 +0200acidjnk_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 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 268 seconds)
2024-05-08 08:00:12 +0200euleritian(~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-08 08:00:10 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-08 07:55:53 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 07:52:21 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-08 07:50:38 +0200euleritian(~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de)
2024-05-08 07:48:59 +0200Me-me(~me-me@kc.randomserver.name)
2024-05-08 07:48:45 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-05-08 07:42:40 +0200Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Quit: Disconnecting on purpose.)
2024-05-08 07:38:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-08 07:37:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-08 07:35:53 +0200euleritian(~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-08 07:35:35 +0200Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2024-05-08 07:32:53 +0200Me-me(~me-me@user/me-me) (Quit: Disconnecting on purpose.)
2024-05-08 07:30:04 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-08 07:29:41 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 240 seconds)
2024-05-08 07:26:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-08 07:25:39 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 07:21:16 +0200euleritian(~euleritia@dynamic-176-004-177-016.176.4.pool.telefonica.de)
2024-05-08 07:20:18 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-05-08 07:20:17 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 252 seconds)
2024-05-08 07:20:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-08 07:17:18 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-08 07:15:44 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 07:06:43 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-08 07:05:35 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-08 07:02:42 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-08 07:02:25 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 255 seconds)
2024-05-08 06:58:04 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 06:42:25 +0200philopsos1(~caecilius@user/philopsos)
2024-05-08 06:36:35 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 272 seconds)
2024-05-08 06:31:37 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 06:24:47 +0200madariaga(~madariaga@user/madariaga) (Client Quit)
2024-05-08 06:21:02 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 06:17:21 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 256 seconds)
2024-05-08 06:05:39 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 260 seconds)
2024-05-08 06:02:36 +0200aforemny_(~aforemny@2001:9e8:6ce5:500:840c:d2e:f148:fe7d) (Ping timeout: 260 seconds)
2024-05-08 06:01:14 +0200aforemny(~aforemny@2001:9e8:6cea:4d00:60ab:beb:c07d:3de7)
2024-05-08 06:00:53 +0200madariaga(~madariaga@user/madariaga)
2024-05-08 05:57:43 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-08 05:52:43 +0200philopsos1(~caecilius@user/philopsos)
2024-05-08 05:51:11 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-05-08 05:47:55 +0200JamesMowery(~JamesMowe@ip98-171-80-211.ph.ph.cox.net)
2024-05-08 05:46:47 +0200madariaga(~madariaga@user/madariaga) (Ping timeout: 252 seconds)
2024-05-08 05:46:03 +0200JamesMowery(~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Quit: Goodbye)