Newest at the top
2024-05-02 04:14:22 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:24f2:d535:ef6d:1b9a) |
2024-05-02 04:11:21 +0200 | <monochrom> | I think I can summarize what I cover as Hindley-Milner plus single-param type classes up to classes of * -> * kinds so I can cover Foldable. |
2024-05-02 04:09:36 +0200 | <monochrom> | tomsmeding: I don't teach existential types. I just teach Haskell 2010; even then maybe only a basic subset. |
2024-05-02 04:03:46 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-02 04:03:27 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-02 03:53:11 +0200 | <geekosaur> | or anyone else, from what I've heard |
2024-05-02 03:48:55 +0200 | <haskellbridge> | <sm> gitlab search: unusable by me... |
2024-05-02 03:38:22 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-05-02 03:27:52 +0200 | otto_s | (~user@p5b04466a.dip0.t-ipconnect.de) |
2024-05-02 03:26:39 +0200 | otto_s | (~user@p4ff27c65.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-02 03:25:07 +0200 | Axma89310 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
2024-05-02 03:24:36 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
2024-05-02 03:22:52 +0200 | Axma43234 | (~Axman6@user/axman6) |
2024-05-02 03:22:31 +0200 | Axma88620 | (~Axman6@user/axman6) |
2024-05-02 03:13:59 +0200 | causal | (~eric@50.35.88.207) |
2024-05-02 03:13:38 +0200 | k`` | (~k``@136.54.34.25) (Ping timeout: 250 seconds) |
2024-05-02 03:12:45 +0200 | ChanServ | +v haskellbridge |
2024-05-02 03:12:45 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-02 03:10:32 +0200 | haskellbridge | (~haskellbr@69.135.3.34) (Remote host closed the connection) |
2024-05-02 03:03:51 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
2024-05-02 02:47:27 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
2024-05-02 02:46:35 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Ping timeout: 245 seconds) |
2024-05-02 02:43:15 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds) |
2024-05-02 02:42:02 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
2024-05-02 02:38:46 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-05-02 02:29:43 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-02 02:29:00 +0200 | k`` | (~k``@136.54.34.25) |
2024-05-02 02:26:35 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 245 seconds) |
2024-05-02 02:24:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-02 02:17:00 +0200 | waldo | (~waldo@user/waldo) |
2024-05-02 02:04:50 +0200 | yin | (~yin@user/zero) |
2024-05-02 02:03:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-05-02 01:54:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-02 01:48:11 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
2024-05-02 01:45:31 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds) |
2024-05-02 01:39:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-02 01:34:30 +0200 | as_ | (~as@2800:a4:2f2:ee00:2a7d:f1f0:f562:40ce) |
2024-05-02 01:33:17 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 272 seconds) |
2024-05-02 01:25:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-02 01:24:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 245 seconds) |
2024-05-02 01:22:59 +0200 | aforemny | (~aforemny@2001:9e8:6cea:d00:aab5:d1b:ca3e:df36) (Ping timeout: 260 seconds) |
2024-05-02 01:22:11 +0200 | aforemny_ | (~aforemny@i59F516D1.versanet.de) |
2024-05-02 01:17:53 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
2024-05-02 01:08:30 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
2024-05-02 01:06:17 +0200 | sprout | (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds) |
2024-05-02 01:03:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-02 00:46:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-02 00:44:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
2024-05-02 00:43:40 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
2024-05-02 00:38:38 +0200 | gmg | (~user@user/gehmehgeh) |