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