2026/03/04

Newest at the top

2026-03-04 20:59:14 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-03-04 20:59:03 +0100 <c_wraith> But do note that anyone can clear things defined with @let at any time.
2026-03-04 20:58:54 +0100 <monochrom> Also, push apply etc are not built-in. Someone has to define them first.
2026-03-04 20:58:31 +0100 <geekosaur> and the way you'd define run in lambdabot is with @let
2026-03-04 20:58:06 +0100 <geekosaur> if you want an actual ghci, see yahb2 (% prefix)
2026-03-04 20:57:50 +0100 <geekosaur> it's shared. but it's not ghci
2026-03-04 20:57:24 +0100 <aka_dude> Trying to play with the bot... Is the GHCi session not shared?
2026-03-04 20:57:24 +0100DetourNe-DetourNetworkUK
2026-03-04 20:57:02 +0100 <lambdabot> Variable not in scope: run :: (a2 -> c0) -> tVariable not in scope: push :: ...
2026-03-04 20:57:01 +0100 <aka_dude> > run (push 1 . push 2 . binOp (+) . push 3 . binOp (*))
2026-03-04 20:56:58 +0100 <aka_dude> 🙄
2026-03-04 20:56:56 +0100 <Clint> what are you trying to do?
2026-03-04 20:56:43 +0100 <aka_dude> run (push 1 . push 2 . binOp (+) . push 3 . binOp (*))
2026-03-04 20:56:17 +0100 <aka_dude> uh huh
2026-03-04 20:56:08 +0100 <aka_dude> :let binOp f = push f . apply . apply
2026-03-04 20:56:08 +0100DigitteknohippieDigit
2026-03-04 20:55:47 +0100 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-03-04 20:55:46 +0100 <aka_dude> > :let binOp f = push f . apply . apply
2026-03-04 20:55:36 +0100 <lambdabot> not an expression: ‘let binOp f = push f . apply . apply’
2026-03-04 20:55:35 +0100 <aka_dude> > let binOp f = push f . apply . apply
2026-03-04 20:55:12 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-04 20:55:05 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-04 20:54:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:54:47 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2026-03-04 20:54:37 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-03-04 20:51:27 +0100Lord_of_Life_Lord_of_Life
2026-03-04 20:50:41 +0100 <int-e> chromoblob: except that replying to those messages gets tiring after the first few dozen times so often there won't be a reply
2026-03-04 20:48:55 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2026-03-04 20:48:50 +0100 <Rembane> Good morning folks!
2026-03-04 20:48:31 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-04 20:43:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-04 20:43:29 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
2026-03-04 20:39:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:38:47 +0100prdak(~Thunderbi@user/prdak) prdak
2026-03-04 20:29:15 +0100dolio(~dolio@130.44.140.168) dolio
2026-03-04 20:28:34 +0100 <chromoblob> shapr: it's particularly useful for people who are shy and not used to IRC, who haven't yet developed comfortable habits of ways of interaction on IRC
2026-03-04 20:28:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-04 20:25:35 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2026-03-04 20:23:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:23:20 +0100dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-04 20:21:22 +0100prdak(~Thunderbi@user/prdak) prdak
2026-03-04 20:14:20 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2026-03-04 20:12:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-04 20:07:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 20:03:37 +0100prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2026-03-04 20:02:16 +0100stackdroid18(~stackdroi@user/stackdroid) stackdroid
2026-03-04 19:57:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-04 19:51:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 19:46:06 +0100msa(msa@msa.planetofnix.com)
2026-03-04 19:45:43 +0100 <[exa]> evening o/