Newest at the top
| 2026-03-04 21:01:16 +0100 | <yahb2> | type Nat :: * ; data Nat = ... ; type Xワ :: * ; data Xワ = ... ; it :: Num a => a = _ ; instance [safe] Ord Nat ; instance [safe] Eq Nat ; instance [safe] Show Nat ; instance [safe] Num Nat |
| 2026-03-04 21:01:16 +0100 | <aka_dude> | % :show bindings |
| 2026-03-04 21:00:53 +0100 | <geekosaur> | (probably EDITOR=/bin/true or something) |
| 2026-03-04 21:00:50 +0100 | <monochrom> | Eventually you will realize that running your own ghci on your own computer is the most robust. Every convenient lightweight tool becomes a fragile toy. |
| 2026-03-04 21:00:31 +0100 | <geekosaur> | apparently :edit got spiked ☺ |
| 2026-03-04 21:00:20 +0100 | <yahb2> | 1 |
| 2026-03-04 21:00:20 +0100 | <geekosaur> | % 1 |
| 2026-03-04 21:00:12 +0100 | <geekosaur> | oh, whoops |
| 2026-03-04 20:59:54 +0100 | <chromoblob> | they were "defined" inside a let ... in |
| 2026-03-04 20:59:54 +0100 | <aka_dude> | Ah |
| 2026-03-04 20:59:44 +0100 | <geekosaur> | which probably means they got @undefine-d overnight |
| 2026-03-04 20:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-04 20:59:41 +0100 | <mauke> | % :edit |
| 2026-03-04 20:59:33 +0100 | <geekosaur> | someone defined them yesterday |
| 2026-03-04 20:59:27 +0100 | <aka_dude> | Of course, it's shared after all |
| 2026-03-04 20:59:14 +0100 | wootehfoot | (~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 +0100 | DetourNe- | 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 +0100 | Digitteknohippie | Digit |
| 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 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-04 20:55:05 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-04 20:54:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:54:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2026-03-04 20:54:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-04 20:51:27 +0100 | Lord_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 +0100 | Lord_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 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-04 20:43:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 20:43:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-03-04 20:39:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 20:38:47 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-04 20:29:15 +0100 | dolio | (~dolio@130.44.140.168) dolio |