Newest at the top
| 2025-09-24 20:26:15 +0200 | <ncf> | and implicit parameters https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/constraint_kind.html |
| 2025-09-24 20:25:42 +0200 | <ncf> | equality constraints |
| 2025-09-24 20:25:31 +0200 | <cheater> | what else can they be |
| 2025-09-24 20:25:09 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-24 20:24:53 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-24 20:24:50 +0200 | <ncf> | i guess GHC constraints don't have to be class assertions |
| 2025-09-24 20:24:41 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-24 20:24:32 +0200 | <ncf> | a context made up of class assertions |
| 2025-09-24 20:24:15 +0200 | <ncf> | i guess that's not what the report calls it https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-660004.1.3 |
| 2025-09-24 20:22:22 +0200 | <cheater> | temporary amnesia |
| 2025-09-24 20:22:16 +0200 | <cheater> | right |
| 2025-09-24 20:21:57 +0200 | <ncf> | a constraint (or a set of constraints) |
| 2025-09-24 20:20:45 +0200 | <cheater> | in general |
| 2025-09-24 20:20:38 +0200 | <cheater> | what is the stuff on the left of => called |
| 2025-09-24 20:16:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-24 20:14:32 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-24 20:01:44 +0200 | trickard__ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-24 20:01:09 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-24 20:00:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 2025-09-24 19:59:48 +0200 | m1dnight_ | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds) |
| 2025-09-24 19:58:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-24 19:55:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-24 19:52:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-24 19:51:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-24 19:48:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-24 19:46:03 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-09-24 19:45:08 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2025-09-24 19:42:10 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-24 19:40:43 +0200 | Googulator | (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-24 19:40:30 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 19:35:12 +0200 | Googulator84 | Googulator |
| 2025-09-24 19:33:29 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-09-24 19:31:46 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-24 19:28:55 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 258 seconds) |
| 2025-09-24 19:27:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-09-24 19:20:41 +0200 | davean | (~davean@davean.sciesnet.net) davean |
| 2025-09-24 19:15:38 +0200 | Googulator84 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 19:15:32 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 19:14:06 +0200 | Googulator19 | Googulator |
| 2025-09-24 19:11:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 2025-09-24 19:07:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-24 19:07:10 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-24 19:06:42 +0200 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 258 seconds) |
| 2025-09-24 19:05:56 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 258 seconds) |
| 2025-09-24 19:05:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 258 seconds) |
| 2025-09-24 19:03:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-24 19:02:56 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-24 19:02:49 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-24 19:01:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-24 18:55:53 +0200 | hylisper | (~hylisper@user/hylisper) (Remote host closed the connection) |