Newest at the top
| 2025-01-19 20:43:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-19 20:39:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-19 20:38:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 20:36:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-19 20:33:12 +0100 | acidjnk | (~acidjnk@p200300d6e7283f1558eeea12d8956a76.dip0.t-ipconnect.de) acidjnk |
| 2025-01-19 20:32:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 20:21:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-19 20:16:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 20:12:50 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-19 20:08:20 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 20:05:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-19 19:58:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 19:50:29 +0100 | taleseeker | (~taleseeke@user/taleseeker) (Ping timeout: 248 seconds) |
| 2025-01-19 19:48:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-19 19:48:43 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2025-01-19 19:46:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-19 19:46:12 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-19 19:45:55 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-19 19:43:33 +0100 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-01-19 19:43:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 19:41:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-01-19 19:38:19 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2025-01-19 19:37:31 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 19:36:46 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-19 19:35:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-19 19:33:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-01-19 19:32:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-19 19:28:46 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2025-01-19 19:26:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 19:25:27 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-19 19:15:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-19 19:11:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 19:11:03 +0100 | alp | (~alp@2001:861:8ca0:4940:604c:d3ad:b92c:bc11) |
| 2025-01-19 19:08:12 +0100 | euleritian | (~euleritia@dynamic-176-006-145-137.176.6.pool.telefonica.de) |
| 2025-01-19 19:07:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-19 19:06:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-19 19:02:36 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-19 19:02:23 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-19 19:02:01 +0100 | euleritian | (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-19 19:00:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-19 18:59:56 +0100 | euleritian | (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) |
| 2025-01-19 18:59:45 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-19 18:54:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 18:53:26 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-19 18:47:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-19 18:44:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-19 18:43:51 +0100 | <probie> | If you also need to be polymorphic in the constraint, you can do something like `data Foo c x y where { Foo :: c y => x -> y -> Foo c x y }` |
| 2025-01-19 18:42:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-19 18:39:18 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 18:37:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |