2024/05/02

Newest at the top

2024-05-02 04:42:21 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 04:39:18 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-05-02 04:30:46 +0200philopsos(~caecilius@user/philopsos)
2024-05-02 04:28:29 +0200td_(~td@i5387093e.versanet.de)
2024-05-02 04:28:29 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-05-02 04:27:26 +0200 <bsima> is there a way to tell ghc or haddock to error if a function or type isn't documented?
2024-05-02 04:27:01 +0200td_(~td@i53870927.versanet.de) (Ping timeout: 256 seconds)
2024-05-02 04:24:56 +0200Axma84850(~Axman6@user/axman6)
2024-05-02 04:24:52 +0200Axma43234(~Axman6@user/axman6) (Ping timeout: 258 seconds)
2024-05-02 04:24:29 +0200Axma88620(~Axman6@user/axman6) (Ping timeout: 258 seconds)
2024-05-02 04:24:16 +0200Axman6(~Axman6@user/axman6)
2024-05-02 04:24:12 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-05-02 04:15:45 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 245 seconds)
2024-05-02 04:15:34 +0200ell(~ellie@user/ellie)
2024-05-02 04:14:22 +0200tabemann_(~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 +0200petrichor(~znc-user@user/petrichor)
2024-05-02 04:03:27 +0200petrichor(~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> <s​m> gitlab search: unusable by me...
2024-05-02 03:38:22 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-05-02 03:27:52 +0200otto_s(~user@p5b04466a.dip0.t-ipconnect.de)
2024-05-02 03:26:39 +0200otto_s(~user@p4ff27c65.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-05-02 03:25:07 +0200Axma89310(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-05-02 03:24:36 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-05-02 03:22:52 +0200Axma43234(~Axman6@user/axman6)
2024-05-02 03:22:31 +0200Axma88620(~Axman6@user/axman6)
2024-05-02 03:13:59 +0200causal(~eric@50.35.88.207)
2024-05-02 03:13:38 +0200k``(~k``@136.54.34.25) (Ping timeout: 250 seconds)
2024-05-02 03:12:45 +0200ChanServ+v haskellbridge
2024-05-02 03:12:45 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-02 03:10:32 +0200haskellbridge(~haskellbr@69.135.3.34) (Remote host closed the connection)
2024-05-02 03:03:51 +0200ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2024-05-02 02:47:27 +0200lockna(~lockna@2a01:4f8:10b:14f1::2)
2024-05-02 02:46:35 +0200lockna(~lockna@2a01:4f8:10b:14f1::2) (Ping timeout: 245 seconds)
2024-05-02 02:43:15 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds)
2024-05-02 02:42:02 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-02 02:38:46 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 02:29:43 +0200yin(~yin@user/zero) (Ping timeout: 255 seconds)
2024-05-02 02:29:00 +0200k``(~k``@136.54.34.25)
2024-05-02 02:26:35 +0200xff0x(~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 245 seconds)
2024-05-02 02:24:14 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-02 02:17:00 +0200waldo(~waldo@user/waldo)
2024-05-02 02:04:50 +0200yin(~yin@user/zero)
2024-05-02 02:03:05 +0200yin(~yin@user/zero) (Ping timeout: 256 seconds)
2024-05-02 01:54:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-02 01:48:11 +0200xff0x(~xff0x@softbank219059019218.bbtec.net)
2024-05-02 01:45:31 +0200xff0x(~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds)
2024-05-02 01:39:40 +0200Sgeo(~Sgeo@user/sgeo)