2024/05/23

Newest at the top

2024-05-24 01:54:12 +0200 <geekosaur> lisbeths, it's not against the rules but it's probably a better fit for #haskell-offtopic
2024-05-24 01:53:57 +0200 <glguy> https://hackage.haskell.org/package/base-4.20.0.0/docs/Text-ParserCombinators-ReadP.html is simpler than parsec
2024-05-24 01:53:23 +0200 <glguy> raehik: Super simple? there's https://hackage.haskell.org/package/yoctoparsec-0.1.0.0/docs/Control-Monad-Yoctoparsec.html
2024-05-24 01:44:55 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds)
2024-05-24 01:34:31 +0200mei(~mei@user/mei)
2024-05-24 01:32:07 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 01:28:50 +0200 <lisbeths> if this is a channel where it is against the rules to question the legitimacy of the University system then please ban me now
2024-05-24 01:22:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-24 01:21:53 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-05-24 01:20:13 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-24 01:20:11 +0200mailman(~mailman@192.210.255.35) (Killed (ozone (No Spam)))
2024-05-24 01:19:38 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-05-24 01:03:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 00:55:17 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 240 seconds)
2024-05-24 00:54:27 +0200 <raehik> oh my gosh it looks like I accidentally landed on Parsec's design. but the code isn't well documented at all :(
2024-05-24 00:50:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 00:47:33 +0200 <raehik> Hi folks. I'm writing a type-level string parser library. I want to compare my design before committing to writing lots of horrid singletons. Are there any super simple string parser combinator libs out there? Where the parser runner is extremely simple and conducive to reifying to type-level
2024-05-24 00:43:57 +0200mailman(~mailman@192.210.255.35)
2024-05-24 00:42:24 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 00:38:05 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 240 seconds)
2024-05-24 00:33:20 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 00:32:46 +0200acidjnk(~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-24 00:29:53 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 00:28:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-24 00:26:29 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 240 seconds)
2024-05-24 00:21:52 +0200AlexZenon(~alzenon@5.139.233.209)
2024-05-24 00:19:32 +0200michalz(~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-24 00:15:22 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2024-05-24 00:15:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 00:14:59 +0200AlexNoo(~AlexNoo@178.34.163.203) (Ping timeout: 264 seconds)
2024-05-24 00:14:38 +0200puke(~puke@user/puke) (Ping timeout: 252 seconds)
2024-05-24 00:13:48 +0200AlexZenon(~alzenon@178.34.163.203) (Ping timeout: 260 seconds)
2024-05-24 00:11:26 +0200AlexNoo_(~AlexNoo@5.139.233.209)
2024-05-24 00:10:27 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-24 00:09:50 +0200pyooquepuke
2024-05-24 00:09:50 +0200puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2024-05-24 00:09:50 +0200pyooque(~puke@user/puke)
2024-05-24 00:04:24 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds)
2024-05-24 00:03:01 +0200Square(~Square4@user/square)
2024-05-24 00:02:44 +0200Square2(~Square4@user/square) (Read error: Connection reset by peer)
2024-05-24 00:01:23 +0200johnw_johnw
2024-05-23 23:52:05 +0200johnw(~johnw@c-174-50-152-190.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2024-05-23 23:51:12 +0200johnw_(~johnw@69.62.242.138)
2024-05-23 23:48:39 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-23 23:47:21 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-23 23:45:35 +0200titibandit(~user@user/titibandit) (Ping timeout: 264 seconds)
2024-05-23 23:44:35 +0200Vajb(~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi)
2024-05-23 23:44:21 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-23 23:41:46 +0200johnw(~johnw@c-174-50-152-190.hsd1.ca.comcast.net)
2024-05-23 23:41:29 +0200Vajb(~Vajb@85-76-14-24-nat.elisa-mobile.fi) (Ping timeout: 256 seconds)