2024/07/12

2024-07-12 00:01:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-07-12 00:08:50 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-07-12 00:12:29 +0200acidjnk_new(~acidjnk@p200300d6e72cfb04bdea48a2b5d04624.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-07-12 00:17:23 +0200tomku(~tomku@user/tomku) (Ping timeout: 264 seconds)
2024-07-12 00:17:37 +0200tomku(~tomku@user/tomku)
2024-07-12 00:21:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 00:26:49 +0200 <nitrix> Do people target Haskell2010 or GHC2021 nowadays in their cabal?
2024-07-12 00:30:23 +0200mikess(~mikess@user/mikess) (Ping timeout: 260 seconds)
2024-07-12 00:32:32 +0200mikess(~mikess@user/mikess)
2024-07-12 00:37:15 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
2024-07-12 00:41:05 +0200alexherbo2(~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net) (Remote host closed the connection)
2024-07-12 00:43:32 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-07-12 00:43:47 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-12 00:46:01 +0200mikess(~mikess@user/mikess)
2024-07-12 00:47:51 +0200 <davean> yes
2024-07-12 01:02:00 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-12 01:02:32 +0200rvalue(~rvalue@user/rvalue)
2024-07-12 01:03:15 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-12 01:04:47 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-12 01:06:55 +0200mikess(~mikess@user/mikess)
2024-07-12 01:11:20 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Ping timeout: 252 seconds)
2024-07-12 01:11:33 +0200dhil(~dhil@2001:8e0:2014:3100:9682:f5f6:8de6:9692) (Ping timeout: 268 seconds)
2024-07-12 01:13:24 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2024-07-12 01:14:16 +0200Square2(~Square4@user/square)
2024-07-12 01:17:07 +0200Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-07-12 01:19:08 +0200 <probie> Unless I've got a reason not to (e.g. I want to support a version of GHC that predates it), I go with GHC2021
2024-07-12 01:23:17 +0200puke(~puke@user/puke) (Ping timeout: 240 seconds)
2024-07-12 01:24:10 +0200 <jackdk> and GHC2021 is from 9.2, which has been around for a bit
2024-07-12 01:24:59 +0200 <c_wraith> after using it a bunch, I kind of prefer to not take GHC2021. I'd rather list most of those extensions explicitly when needed.
2024-07-12 01:33:26 +0200phma(phma@2001:5b0:211b:f1a8:481d:33c:3867:23b1) (Read error: Connection reset by peer)
2024-07-12 01:34:06 +0200phma(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 01:45:31 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-12 01:46:20 +0200 <probie> New idea for a language; the null+ language. The only construct of the language is enabling extensions
2024-07-12 01:47:20 +0200 <davean> call with c_wraith
2024-07-12 01:47:27 +0200 <davean> *I fall
2024-07-12 01:50:44 +0200 <probie> I guess what I really want "on by default" is just multi-param type classes, rank n types, flexible instances and flexible contexts. I think of those as part of "modern Haskell"
2024-07-12 01:51:17 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 272 seconds)
2024-07-12 01:51:21 +0200 <geekosaur> I'm reasonably sure that everyone has their own definition of "modern Haskell"
2024-07-12 01:51:51 +0200 <geekosaur> I could live with yours, aside from rank-n types; but I'd also want LambdaCase
2024-07-12 01:54:29 +0200 <probie> Actually, by the time I've picked a "common" library like mtl, I've already gone outside my "modern Haskell". Perhaps I should add fundeps to my list?
2024-07-12 01:56:10 +0200xdminsy(~xdminsy@117.147.70.227) (Quit: Konversation terminated!)
2024-07-12 01:57:48 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-07-12 01:58:44 +0200 <jle`> i like tuple sections
2024-07-12 01:59:35 +0200 <jle`> but i think making such a list is probably not going to be too fruitful
2024-07-12 01:59:59 +0200 <jle`> ViewPatterns have been standard-ish for decades too even though it's not super common
2024-07-12 02:01:00 +0200 <probie> LambdaCase and TupleSections are not really extensions I care about in this context. They don't leak out of libraries
2024-07-12 02:03:08 +0200 <probie> If use LambdaCase or TupleSections, no-one but those actually touching my code care. If I use multi-param type classes or rank-n types, perhaps I'm scaring someone off?
2024-07-12 02:03:59 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5)
2024-07-12 02:04:17 +0200glguy(g@libera/staff/glguy) (*.net *.split)
2024-07-12 02:04:17 +0200mikess(~mikess@user/mikess) (*.net *.split)
2024-07-12 02:04:17 +0200sroso(~sroso@user/SrOso) (*.net *.split)
2024-07-12 02:04:17 +0200pavonia(~user@user/siracusa) (*.net *.split)
2024-07-12 02:04:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2024-07-12 02:04:17 +0200swistak(~swistak@185.21.216.141) (*.net *.split)
2024-07-12 02:04:17 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (*.net *.split)
2024-07-12 02:04:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2024-07-12 02:04:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (*.net *.split)
2024-07-12 02:04:17 +0200fun-safe-math(~fun-safe-@24.21.106.247) (*.net *.split)
2024-07-12 02:04:17 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split)
2024-07-12 02:04:17 +0200mud(~mud@user/kadoban) (*.net *.split)
2024-07-12 02:04:17 +0200_0xa(~user@user/0xa/x-3134607) (*.net *.split)
2024-07-12 02:04:17 +0200sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2024-07-12 02:04:18 +0200jmcantrell(644f1bed9a@user/jmcantrell) (*.net *.split)
2024-07-12 02:04:18 +0200sm(~znc@plaintextaccounting/sm) (*.net *.split)
2024-07-12 02:04:18 +0200tinwood(~tinwood@canonical/tinwood) (*.net *.split)
2024-07-12 02:04:18 +0200xerox(~edi@user/edi) (*.net *.split)
2024-07-12 02:04:18 +0200tjbc(~tjbc@user/fliife) (*.net *.split)
2024-07-12 02:04:18 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2024-07-12 02:04:18 +0200catties(~catties@user/meow/catties) (*.net *.split)
2024-07-12 02:04:18 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2024-07-12 02:04:18 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com) (*.net *.split)
2024-07-12 02:04:18 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
2024-07-12 02:04:18 +0200titibandit(e33ffbab65@user/titibandit) (*.net *.split)
2024-07-12 02:04:18 +0200jakzale(6291399afa@user/jakzale) (*.net *.split)
2024-07-12 02:04:18 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split)
2024-07-12 02:04:18 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (*.net *.split)
2024-07-12 02:04:18 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:18 +0200TMA(tma@twin.jikos.cz) (*.net *.split)
2024-07-12 02:04:18 +0200tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2024-07-12 02:04:18 +0200She(haveident@libera/staff/she/her) (*.net *.split)
2024-07-12 02:04:19 +0200jrm(~jrm@user/jrm) (*.net *.split)
2024-07-12 02:04:19 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
2024-07-12 02:04:19 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2024-07-12 02:04:19 +0200jackdk(sid373013@cssa/jackdk) (*.net *.split)
2024-07-12 02:04:19 +0200systemfault(sid267009@about/typescript/member/systemfault) (*.net *.split)
2024-07-12 02:04:19 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200haasn(sid579015@id-579015.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2024-07-12 02:04:19 +0200lbseale(~quassel@user/ep1ctetus) (*.net *.split)
2024-07-12 02:04:19 +0200rembo10(~rembo10@main.remulis.com) (*.net *.split)
2024-07-12 02:04:19 +0200ell(~ellie@user/ellie) (*.net *.split)
2024-07-12 02:04:19 +0200dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2024-07-12 02:04:19 +0200vulpine(xfnw@user/meow/xfnw) (*.net *.split)
2024-07-12 02:04:19 +0200Hafydd(~Hafydd@user/hafydd) (*.net *.split)
2024-07-12 02:04:19 +0200apache2(apache2@anubis.0x90.dk) (*.net *.split)
2024-07-12 02:04:19 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2024-07-12 02:04:19 +0200auri(~auri@fsf/member/auri) (*.net *.split)
2024-07-12 02:04:19 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2024-07-12 02:04:19 +0200dfordvm(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:19 +0200phma(~phma@host-67-44-208-89.hnremote.net) (*.net *.split)
2024-07-12 02:04:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split)
2024-07-12 02:04:20 +0200sam113101(~sam@24.157.253.231) (*.net *.split)
2024-07-12 02:04:20 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (*.net *.split)
2024-07-12 02:04:20 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split)
2024-07-12 02:04:20 +0200bliminse(~bliminse@user/bliminse) (*.net *.split)
2024-07-12 02:04:20 +0200kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2024-07-12 02:04:20 +0200mauke(~mauke@user/mauke) (*.net *.split)
2024-07-12 02:04:20 +0200Batzy(~quassel@user/batzy) (*.net *.split)
2024-07-12 02:04:20 +0200peutri(~peutri@bobo.desast.re) (*.net *.split)
2024-07-12 02:04:20 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split)
2024-07-12 02:04:20 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de) (*.net *.split)
2024-07-12 02:04:20 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split)
2024-07-12 02:04:20 +0200leah2(~leah@vuxu.org) (*.net *.split)
2024-07-12 02:04:20 +0200mrmr155334346(~mrmr@user/mrmr) (*.net *.split)
2024-07-12 02:04:20 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net) (*.net *.split)
2024-07-12 02:04:20 +0200lewisje(~lewisje@74.215.19.22) (*.net *.split)
2024-07-12 02:04:20 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2024-07-12 02:04:20 +0200raym(~ray@user/raym) (*.net *.split)
2024-07-12 02:04:21 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2024-07-12 02:04:21 +0200kimiamania(~65804703@user/kimiamania) (*.net *.split)
2024-07-12 02:04:21 +0200mzg(mzg@abusers.hu) (*.net *.split)
2024-07-12 02:04:21 +0200dunj3(~dunj3@kingdread.de) (*.net *.split)
2024-07-12 02:04:21 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2024-07-12 02:04:21 +0200gawen(~gawen@user/gawen) (*.net *.split)
2024-07-12 02:04:21 +0200it_(~quassel@v2202212189510211193.supersrv.de) (*.net *.split)
2024-07-12 02:04:21 +0200koz(~koz@121.99.240.58) (*.net *.split)
2024-07-12 02:04:21 +0200wagle(~wagle@quassel.wagle.io) (*.net *.split)
2024-07-12 02:04:21 +0200mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2024-07-12 02:04:21 +0200xelxebar(~xelxebar@wilsonb.com) (*.net *.split)
2024-07-12 02:04:21 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split)
2024-07-12 02:04:21 +0200stefan-_(~cri@42dots.de) (*.net *.split)
2024-07-12 02:04:21 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2024-07-12 02:04:21 +0200quintasan(~quassel@quintasan.pl) (*.net *.split)
2024-07-12 02:04:21 +0200tdammers_(~tdammers@41-138-178-143.ftth.glasoperator.nl) (*.net *.split)
2024-07-12 02:04:21 +0200lockna_(~lockna@static.139.16.130.94.clients.your-server.de) (*.net *.split)
2024-07-12 02:04:21 +0200joeyh_(~joeyh@kitenet.net) (*.net *.split)
2024-07-12 02:04:21 +0200Dykam(Dykam@dykam.nl) (*.net *.split)
2024-07-12 02:04:21 +0200vgtw(~vgtw@user/vgtw) (*.net *.split)
2024-07-12 02:04:21 +0200spider(spider@tilde.cafe) (*.net *.split)
2024-07-12 02:04:21 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2024-07-12 02:04:21 +0200Square2(~Square4@user/square) (*.net *.split)
2024-07-12 02:04:21 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net) (*.net *.split)
2024-07-12 02:04:22 +0200oo_miguel(~Thunderbi@78.10.207.46) (*.net *.split)
2024-07-12 02:04:22 +0200cheater(~Username@user/cheater) (*.net *.split)
2024-07-12 02:04:22 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (*.net *.split)
2024-07-12 02:04:22 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:22 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:22 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split)
2024-07-12 02:04:22 +0200duncan(c6181279e3@user/meow/duncan) (*.net *.split)
2024-07-12 02:04:22 +0200Xe(~cadey@perl/impostor/xe) (*.net *.split)
2024-07-12 02:04:22 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2024-07-12 02:04:22 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split)
2024-07-12 02:04:22 +0200landonf(landonf@mac68k.info) (*.net *.split)
2024-07-12 02:04:22 +0200hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2024-07-12 02:04:22 +0200turlando(~turlando@user/turlando) (*.net *.split)
2024-07-12 02:04:22 +0200xacktm(xacktm@user/xacktm) (*.net *.split)
2024-07-12 02:04:22 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
2024-07-12 02:04:22 +0200pierrot(~pi@user/pierrot) (*.net *.split)
2024-07-12 02:04:22 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split)
2024-07-12 02:04:22 +0200tabemann__(~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) (*.net *.split)
2024-07-12 02:04:22 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (*.net *.split)
2024-07-12 02:04:22 +0200petrichor(~znc-user@user/petrichor) (*.net *.split)
2024-07-12 02:04:23 +0200dy(sid3438@user/dy) (*.net *.split)
2024-07-12 02:04:23 +0200snek(sid280155@id-280155.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200sa(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200tok(da65c7b04b@user/tok) (*.net *.split)
2024-07-12 02:04:23 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2024-07-12 02:04:23 +0200dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2024-07-12 02:04:23 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
2024-07-12 02:04:23 +0200Vq(~vq@81-231-76-8-no600.tbcn.telia.com) (*.net *.split)
2024-07-12 02:04:23 +0200df(~ben@justworks.xyz) (*.net *.split)
2024-07-12 02:04:23 +0200Aleksejs(~Aleksejs@107.170.21.106) (*.net *.split)
2024-07-12 02:04:23 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
2024-07-12 02:04:23 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2024-07-12 02:04:23 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2024-07-12 02:04:23 +0200siers(~ij@user/ij) (*.net *.split)
2024-07-12 02:04:23 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split)
2024-07-12 02:04:23 +0200motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2024-07-12 02:04:23 +0200hueso(~root@user/hueso) (*.net *.split)
2024-07-12 02:04:23 +0200juri_(~juri@implicitcad.org) (*.net *.split)
2024-07-12 02:04:23 +0200ethantwardy(user@user/ethantwardy) (*.net *.split)
2024-07-12 02:04:23 +0200lockywolf(~lockywolf@public.lockywolf.net) (*.net *.split)
2024-07-12 02:04:23 +0200YuutaW(~YuutaW@mail.yuuta.moe) (*.net *.split)
2024-07-12 02:04:24 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (*.net *.split)
2024-07-12 02:04:24 +0200jleightcap(7bc4014b62@user/jleightcap) (*.net *.split)
2024-07-12 02:04:24 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split)
2024-07-12 02:04:24 +0200zmt01(~zmt00@user/zmt00) (*.net *.split)
2024-07-12 02:04:24 +0200filwisher(2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
2024-07-12 02:04:24 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split)
2024-07-12 02:04:24 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2024-07-12 02:04:24 +0200remmie(~ian@tilde.team) (*.net *.split)
2024-07-12 02:04:24 +0200m5zs7k(aquares@web10.mydevil.net) (*.net *.split)
2024-07-12 02:04:24 +0200tureba(~tureba@tureba.org) (*.net *.split)
2024-07-12 02:04:24 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split)
2024-07-12 02:04:24 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2024-07-12 02:04:24 +0200nullie(~nullie@2a01:4f8:c2c:6177::1) (*.net *.split)
2024-07-12 02:04:24 +0200pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2024-07-12 02:04:24 +0200EvanR(~EvanR@user/evanr) (*.net *.split)
2024-07-12 02:04:24 +0200nitrix(~nitrix@user/meow/nitrix) (*.net *.split)
2024-07-12 02:04:24 +0200benjaminl(~benjaminl@user/benjaminl) (*.net *.split)
2024-07-12 02:04:24 +0200incertia(~incertia@209.122.137.252) (*.net *.split)
2024-07-12 02:04:24 +0200remexre(~remexre@user/remexre) (*.net *.split)
2024-07-12 02:04:24 +0200tv(~tv@user/tv) (*.net *.split)
2024-07-12 02:04:24 +0200cptaffe(~cptaffe@user/cptaffe) (*.net *.split)
2024-07-12 02:04:24 +0200bionade24(~quassel@2a03:4000:33:45b::1) (*.net *.split)
2024-07-12 02:04:24 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (*.net *.split)
2024-07-12 02:04:24 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:24 +0200geekosaur(sid609282@xmonad/geekosaur) (*.net *.split)
2024-07-12 02:04:25 +0200xal(~xal@mx1.xal.systems) (*.net *.split)
2024-07-12 02:04:25 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2024-07-12 02:04:25 +0200mmaruseacph2(~mihai@mihai.page) (*.net *.split)
2024-07-12 02:04:25 +0200Angelz(Angelz@user/angelz) (*.net *.split)
2024-07-12 02:04:25 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split)
2024-07-12 02:04:25 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2024-07-12 02:04:25 +0200deriamis_(deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (*.net *.split)
2024-07-12 02:04:25 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
2024-07-12 02:04:25 +0200enikar(~enikar@user/enikar) (*.net *.split)
2024-07-12 02:04:25 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split)
2024-07-12 02:04:25 +0200meejah(~meejah@104.236.166.239) (*.net *.split)
2024-07-12 02:04:25 +0200ario(~ario@159.65.220.102) (*.net *.split)
2024-07-12 02:04:25 +0200sweater(~sweater@206.81.18.26) (*.net *.split)
2024-07-12 02:04:25 +0200aws(~alews@user/aws) (*.net *.split)
2024-07-12 02:04:46 +0200 <haskellbridge> <geekosaur> rank-n types, possibly yes. MPTC/fundeps are pretty much unavoidable and have been for at least 20 years
2024-07-12 02:06:11 +0200Pixi(~Pixi@user/pixi)
2024-07-12 02:06:25 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-12 02:06:37 +0200sam113101(~sam@24.157.253.231)
2024-07-12 02:07:05 +0200Square2(~Square4@user/square)
2024-07-12 02:07:05 +0200mikess(~mikess@user/mikess)
2024-07-12 02:07:05 +0200sroso(~sroso@user/SrOso)
2024-07-12 02:07:05 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-12 02:07:05 +0200hueso(~root@user/hueso)
2024-07-12 02:07:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-12 02:07:05 +0200swistak(~swistak@185.21.216.141)
2024-07-12 02:07:05 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net)
2024-07-12 02:07:05 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-12 02:07:05 +0200juri_(~juri@implicitcad.org)
2024-07-12 02:07:05 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net)
2024-07-12 02:07:05 +0200cheater(~Username@user/cheater)
2024-07-12 02:07:05 +0200ethantwardy(user@user/ethantwardy)
2024-07-12 02:07:05 +0200lockywolf(~lockywolf@public.lockywolf.net)
2024-07-12 02:07:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-12 02:07:05 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
2024-07-12 02:07:05 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-12 02:07:05 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2024-07-12 02:07:05 +0200fun-safe-math(~fun-safe-@24.21.106.247)
2024-07-12 02:07:05 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-12 02:07:05 +0200mud(~mud@user/kadoban)
2024-07-12 02:07:05 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2024-07-12 02:07:05 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2024-07-12 02:07:05 +0200duncan(c6181279e3@user/meow/duncan)
2024-07-12 02:07:05 +0200_0xa(~user@user/0xa/x-3134607)
2024-07-12 02:07:05 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df)
2024-07-12 02:07:05 +0200jleightcap(7bc4014b62@user/jleightcap)
2024-07-12 02:07:05 +0200sus(1b7af6299f@user/zeromomentum)
2024-07-12 02:07:05 +0200jmcantrell(644f1bed9a@user/jmcantrell)
2024-07-12 02:07:05 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4)
2024-07-12 02:07:05 +0200Xe(~cadey@perl/impostor/xe)
2024-07-12 02:07:05 +0200zmt01(~zmt00@user/zmt00)
2024-07-12 02:07:05 +0200filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-07-12 02:07:05 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2024-07-12 02:07:05 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2024-07-12 02:07:05 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca)
2024-07-12 02:07:05 +0200landonf(landonf@mac68k.info)
2024-07-12 02:07:05 +0200hiredman(~hiredman@frontier1.downey.family)
2024-07-12 02:07:05 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-07-12 02:07:05 +0200remmie(~ian@tilde.team)
2024-07-12 02:07:05 +0200m5zs7k(aquares@web10.mydevil.net)
2024-07-12 02:07:05 +0200sm(~znc@plaintextaccounting/sm)
2024-07-12 02:07:05 +0200turlando(~turlando@user/turlando)
2024-07-12 02:07:05 +0200tinwood(~tinwood@canonical/tinwood)
2024-07-12 02:07:05 +0200tureba(~tureba@tureba.org)
2024-07-12 02:07:05 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2024-07-12 02:07:05 +0200xacktm(xacktm@user/xacktm)
2024-07-12 02:07:05 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2024-07-12 02:07:05 +0200pierrot(~pi@user/pierrot)
2024-07-12 02:07:05 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-12 02:07:05 +0200Ekho(~Ekho@user/ekho)
2024-07-12 02:07:05 +0200nullie(~nullie@2a01:4f8:c2c:6177::1)
2024-07-12 02:07:05 +0200xerox(~edi@user/edi)
2024-07-12 02:07:05 +0200tjbc(~tjbc@user/fliife)
2024-07-12 02:07:05 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2024-07-12 02:07:05 +0200catties(~catties@user/meow/catties)
2024-07-12 02:07:05 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2024-07-12 02:07:05 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com)
2024-07-12 02:07:05 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3)
2024-07-12 02:07:05 +0200jakzale(6291399afa@user/jakzale)
2024-07-12 02:07:05 +0200titibandit(e33ffbab65@user/titibandit)
2024-07-12 02:07:05 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d)
2024-07-12 02:07:05 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-07-12 02:07:05 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-07-12 02:07:05 +0200TMA(tma@twin.jikos.cz)
2024-07-12 02:07:05 +0200tomboy64(~tomboy64@user/tomboy64)
2024-07-12 02:07:05 +0200pie_(~pie_bnc@user/pie/x-2818909)
2024-07-12 02:07:05 +0200EvanR(~EvanR@user/evanr)
2024-07-12 02:07:05 +0200nitrix(~nitrix@user/meow/nitrix)
2024-07-12 02:07:05 +0200benjaminl(~benjaminl@user/benjaminl)
2024-07-12 02:07:05 +0200tabemann__(~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631)
2024-07-12 02:07:05 +0200incertia(~incertia@209.122.137.252)
2024-07-12 02:07:05 +0200remexre(~remexre@user/remexre)
2024-07-12 02:07:05 +0200glguy(g@libera/staff/glguy)
2024-07-12 02:07:05 +0200tv(~tv@user/tv)
2024-07-12 02:07:05 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt)
2024-07-12 02:07:05 +0200She(haveident@libera/staff/she/her)
2024-07-12 02:07:05 +0200petrichor(~znc-user@user/petrichor)
2024-07-12 02:07:05 +0200cptaffe(~cptaffe@user/cptaffe)
2024-07-12 02:07:05 +0200jrm(~jrm@user/jrm)
2024-07-12 02:07:05 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-07-12 02:07:05 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2024-07-12 02:07:05 +0200Teacup(~teacup@user/teacup)
2024-07-12 02:07:05 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2024-07-12 02:07:05 +0200geekosaur(sid609282@xmonad/geekosaur)
2024-07-12 02:07:05 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200jackdk(sid373013@cssa/jackdk)
2024-07-12 02:07:05 +0200systemfault(sid267009@about/typescript/member/systemfault)
2024-07-12 02:07:05 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2024-07-12 02:07:05 +0200chessai(sid225296@id-225296.lymington.irccloud.com)
2024-07-12 02:07:05 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2024-07-12 02:07:05 +0200caasih(sid13241@id-13241.ilkley.irccloud.com)
2024-07-12 02:07:05 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2024-07-12 02:07:05 +0200dy(sid3438@user/dy)
2024-07-12 02:07:05 +0200snek(sid280155@id-280155.lymington.irccloud.com)
2024-07-12 02:07:05 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com)
2024-07-12 02:07:05 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2024-07-12 02:07:05 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2024-07-12 02:07:05 +0200haasn(sid579015@id-579015.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200aspen(sid449115@id-449115.helmsley.irccloud.com)
2024-07-12 02:07:05 +0200xal(~xal@mx1.xal.systems)
2024-07-12 02:07:05 +0200piele(~piele@tbonesteak.creativeserver.net)
2024-07-12 02:07:05 +0200lbseale(~quassel@user/ep1ctetus)
2024-07-12 02:07:05 +0200tok(da65c7b04b@user/tok)
2024-07-12 02:07:05 +0200davean(~davean@davean.sciesnet.net)
2024-07-12 02:07:05 +0200c_wraith(~c_wraith@adjoint.us)
2024-07-12 02:07:05 +0200mmaruseacph2(~mihai@mihai.page)
2024-07-12 02:07:05 +0200Angelz(Angelz@user/angelz)
2024-07-12 02:07:05 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2024-07-12 02:07:05 +0200Axman6(~Axman6@user/axman6)
2024-07-12 02:07:05 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-07-12 02:07:05 +0200rembo10(~rembo10@main.remulis.com)
2024-07-12 02:07:05 +0200ell(~ellie@user/ellie)
2024-07-12 02:07:05 +0200dibblego(~dibblego@haskell/developer/dibblego)
2024-07-12 02:07:05 +0200vulpine(xfnw@user/meow/xfnw)
2024-07-12 02:07:05 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2024-07-12 02:07:05 +0200Hafydd(~Hafydd@user/hafydd)
2024-07-12 02:07:05 +0200apache2(apache2@anubis.0x90.dk)
2024-07-12 02:07:05 +0200carbolymer(~carbolyme@dropacid.net)
2024-07-12 02:07:05 +0200Vq(~vq@81-231-76-8-no600.tbcn.telia.com)
2024-07-12 02:07:05 +0200auri(~auri@fsf/member/auri)
2024-07-12 02:07:05 +0200Philonous(~Philonous@user/philonous)
2024-07-12 02:07:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2024-07-12 02:07:05 +0200dfordvm(~dfordivam@160.16.87.223.v6.sakura.ne.jp)
2024-07-12 02:07:05 +0200df(~ben@justworks.xyz)
2024-07-12 02:07:05 +0200Aleksejs(~Aleksejs@107.170.21.106)
2024-07-12 02:07:05 +0200deriamis_(deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com)
2024-07-12 02:07:05 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
2024-07-12 02:07:05 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2024-07-12 02:07:05 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
2024-07-12 02:07:05 +0200siers(~ij@user/ij)
2024-07-12 02:07:05 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2024-07-12 02:07:05 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2024-07-12 02:07:05 +0200enikar(~enikar@user/enikar)
2024-07-12 02:07:05 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2024-07-12 02:07:05 +0200aws(~alews@user/aws)
2024-07-12 02:07:05 +0200sweater(~sweater@206.81.18.26)
2024-07-12 02:07:05 +0200ario(~ario@159.65.220.102)
2024-07-12 02:07:05 +0200meejah(~meejah@104.236.166.239)
2024-07-12 02:07:07 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-07-12 02:07:48 +0200pavonia(~user@user/siracusa)
2024-07-12 02:07:50 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-12 02:07:50 +0200ChanServ+v haskellbridge
2024-07-12 02:07:55 +0200Ekho(~Ekho@user/ekho) (Max SendQ exceeded)
2024-07-12 02:07:55 +0200m5zs7k(aquares@web10.mydevil.net) (Max SendQ exceeded)
2024-07-12 02:08:13 +0200m5zs7k(aquares@web10.mydevil.net)
2024-07-12 02:09:03 +0200phma(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 02:09:49 +0200029ABLN24(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 02:09:49 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-12 02:09:49 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2)
2024-07-12 02:09:49 +0200bliminse(~bliminse@user/bliminse)
2024-07-12 02:09:49 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2024-07-12 02:09:49 +0200mauke(~mauke@user/mauke)
2024-07-12 02:09:49 +0200Batzy(~quassel@user/batzy)
2024-07-12 02:09:49 +0200peutri(~peutri@bobo.desast.re)
2024-07-12 02:09:49 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-07-12 02:09:49 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de)
2024-07-12 02:09:49 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de)
2024-07-12 02:09:49 +0200leah2(~leah@vuxu.org)
2024-07-12 02:09:49 +0200mrmr155334346(~mrmr@user/mrmr)
2024-07-12 02:09:49 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net)
2024-07-12 02:09:49 +0200lewisje(~lewisje@74.215.19.22)
2024-07-12 02:09:49 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2024-07-12 02:09:49 +0200raym(~ray@user/raym)
2024-07-12 02:09:49 +0200tolt(~weechat-h@li219-154.members.linode.com)
2024-07-12 02:09:49 +0200kimiamania(~65804703@user/kimiamania)
2024-07-12 02:09:49 +0200mzg(mzg@abusers.hu)
2024-07-12 02:09:49 +0200dunj3(~dunj3@kingdread.de)
2024-07-12 02:09:49 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-07-12 02:09:49 +0200gawen(~gawen@user/gawen)
2024-07-12 02:09:49 +0200it_(~quassel@v2202212189510211193.supersrv.de)
2024-07-12 02:09:49 +0200koz(~koz@121.99.240.58)
2024-07-12 02:09:49 +0200wagle(~wagle@quassel.wagle.io)
2024-07-12 02:09:49 +0200mjacob(~mjacob@adrastea.uberspace.de)
2024-07-12 02:09:49 +0200xelxebar(~xelxebar@wilsonb.com)
2024-07-12 02:09:49 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-07-12 02:09:49 +0200stefan-_(~cri@42dots.de)
2024-07-12 02:09:49 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-07-12 02:09:49 +0200quintasan(~quassel@quintasan.pl)
2024-07-12 02:09:49 +0200tdammers_(~tdammers@41-138-178-143.ftth.glasoperator.nl)
2024-07-12 02:09:49 +0200lockna_(~lockna@static.139.16.130.94.clients.your-server.de)
2024-07-12 02:09:49 +0200joeyh_(~joeyh@kitenet.net)
2024-07-12 02:09:49 +0200Dykam(Dykam@dykam.nl)
2024-07-12 02:09:49 +0200vgtw(~vgtw@user/vgtw)
2024-07-12 02:09:49 +0200spider(spider@tilde.cafe)
2024-07-12 02:09:49 +0200iridium.libera.chat+v yahb2
2024-07-12 02:09:52 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur)
2024-07-12 02:10:32 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur) (Client Quit)
2024-07-12 02:11:11 +0200sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 262 seconds)
2024-07-12 02:11:15 +0200 <geekosaur> (dunn if this survived the netsplit) rank-n types, possibly yes. MPTC/fundeps are pretty much unavoidable and have been for at least 20 years
2024-07-12 02:12:50 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2024-07-12 02:15:35 +0200029ABLN24(~phma@host-67-44-208-89.hnremote.net) (Ping timeout: 250 seconds)
2024-07-12 02:18:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-12 02:20:45 +0200Ekho(~Ekho@user/ekho)
2024-07-12 02:23:21 +0200zhuberty(~zhuberty@user/zhuberty)
2024-07-12 02:27:01 +0200foul_owl(~kerry@185.219.141.162) (Ping timeout: 256 seconds)
2024-07-12 02:41:16 +0200foul_owl(~kerry@174-21-147-232.tukw.qwest.net)
2024-07-12 02:44:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 02:45:26 +0200 <davean> I like lambdacase but its DEFINATELY an extension, not fixing a problem.
2024-07-12 02:48:17 +0200poscat0x04(~poscat@user/poscat)
2024-07-12 02:48:22 +0200poscat(~poscat@user/poscat) (Ping timeout: 268 seconds)
2024-07-12 02:55:58 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2024-07-12 03:00:30 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 256 seconds)
2024-07-12 03:06:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-07-12 03:07:07 +0200xff0x(~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64)
2024-07-12 03:15:49 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2024-07-12 03:23:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-12 03:32:28 +0200jpyamamoto(~jpyamamot@user/jpyamamoto)
2024-07-12 03:43:58 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-07-12 03:44:23 +0200Inst(~Inst@user/Inst)
2024-07-12 03:50:06 +0200aforemny(~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5)
2024-07-12 03:51:37 +0200aforemny_(~aforemny@i59F516D8.versanet.de) (Ping timeout: 272 seconds)
2024-07-12 03:55:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-07-12 04:10:55 +0200 <monochrom> I don't have my idea of "modern haskell", but I have my idea of "not-annoying haskell", and it includes LambdaCase, BlockArguments, ScopedTypeVariables. :)
2024-07-12 04:11:25 +0200 <bsima> +1
2024-07-12 04:14:05 +0200xff0x(~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64) (Ping timeout: 240 seconds)
2024-07-12 04:16:08 +0200Pozyomka(~pyon@user/pyon)
2024-07-12 04:22:36 +0200jpyamamoto(~jpyamamot@user/jpyamamoto) (Remote host closed the connection)
2024-07-12 04:29:53 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 252 seconds)
2024-07-12 04:31:28 +0200td_(~td@i53870910.versanet.de)
2024-07-12 04:31:58 +0200 <yin> fyi TupleSections and ScopedTypeVariables are part of GHC2021+ and LambdaCase is part of GHC2024
2024-07-12 04:32:13 +0200 <yin> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/control.html#extension-GHC2024
2024-07-12 04:48:59 +0200troydm(~troydm@user/troydm)