Newest at the top
| 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) |
| 2025-01-19 17:59:50 +0100 | hellwolf | (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2025-01-19 17:58:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-19 17:58:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-19 17:58:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-19 17:54:06 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-19 17:52:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 17:43:28 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-19 17:41:44 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-19 17:40:53 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |
| 2025-01-19 17:40:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-19 17:36:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 17:31:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-19 17:28:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-19 17:26:57 +0100 | alp | (~alp@2001:861:8ca0:4940:885e:f93c:1500:2237) (Ping timeout: 252 seconds) |
| 2025-01-19 17:24:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-19 17:24:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 17:15:08 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-01-19 17:13:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-19 17:09:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-19 17:08:56 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-19 17:08:40 +0100 | euleritian | (~euleritia@dynamic-176-007-128-130.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-19 17:08:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-19 17:08:30 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-01-19 17:08:21 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |