Newest at the top
| 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 |
| 2025-01-19 18:34:02 +0100 | <lxsameer> | Leary: cheers |
| 2025-01-19 18:33:53 +0100 | <Leary> | lxsameer: Put a constraint in a constructor's type signature and find out. |
| 2025-01-19 18:32:05 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-19 18:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-19 18:27:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 18:24:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-19 18:21:03 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-19 18:19:14 +0100 | <lxsameer> | when using Gadts, e.g. `data Foo x y where ....` is it possible to set contraints for y? |
| 2025-01-19 18:19:08 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-19 18:18:24 +0100 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-19 18:17:19 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 244 seconds) |
| 2025-01-19 18:15:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-19 18:14:53 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-19 18:13:40 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-19 18:09:40 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-01-19 18:09:24 +0100 | acidjnk | (~acidjnk@p200300d6e7283f15ed484691a69a5d41.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-19 18:09:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 18:06:31 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-19 18:03:45 +0100 | hellwolf | (~user@6d8d-4b75-5649-c595-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-01-19 18:03:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |