Newest at the top
| 2026-02-15 22:45:38 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:45:37 +0100 | <int-e> | > flip (-) 1 4 |
| 2026-02-15 22:45:36 +0100 | <monochrom> | (-) 5 = \y -> (-) 5 y = \y -> 5 - y. sutract 5 = \y -> y - 5 |
| 2026-02-15 22:45:32 +0100 | <lambdabot> | -3 |
| 2026-02-15 22:45:31 +0100 | <int-e> | > (-) 1 4 |
| 2026-02-15 22:44:06 +0100 | <larsivi> | But it turned out that (-)1 didn't actually do anything, so had to use subtract 1 instead. Something I did wrong there? |
| 2026-02-15 22:43:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-15 22:41:44 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-02-15 22:41:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdanl) |
| 2026-02-15 22:38:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:27:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 22:27:21 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 22:23:21 +0100 | karenw_ | karenw |
| 2026-02-15 22:22:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:15:13 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-15 22:14:03 +0100 | skum | (~skum@user/skum) skum |
| 2026-02-15 22:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 22:10:28 +0100 | <larsivi> | Yeah, I saw, but this was shorter :) |
| 2026-02-15 22:09:53 +0100 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-02-15 22:08:42 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2026-02-15 22:07:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:05:35 +0100 | <monochrom> | There is also subtract, i.e., subtract 5 = \x -> x - 5 |
| 2026-02-15 22:04:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2026-02-15 22:01:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-15 21:59:28 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:58:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:56:58 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:56:57 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-02-15 21:56:47 +0100 | <larsivi> | Ah, the unary negation operator - fixed it with wrapping (-) |
| 2026-02-15 21:56:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:56:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 21:52:58 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:52:21 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:51:32 +0100 | <larsivi> | (maybe you haven't applied a function to enough arguments?) |
| 2026-02-15 21:51:30 +0100 | <larsivi> | arising from a use of syntactic negation |
| 2026-02-15 21:51:28 +0100 | <larsivi> | • No instance for ‘Num (Int -> Int)’ |
| 2026-02-15 21:51:26 +0100 | <larsivi> | Ok, still not fully in place, I now get (only for negative ops): error: [GHC-39999] |
| 2026-02-15 21:51:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:50:19 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:50:02 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:49:10 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:48:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:48:01 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:47:42 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:43:05 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-15 21:42:19 +0100 | ss4 | wootehfoot |
| 2026-02-15 21:40:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 21:36:30 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 21:34:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:31:50 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |