Newest at the top
2024-11-08 19:47:01 +0100 | longlongdouble | (~longlongd@169.150.196.101) |
2024-11-08 19:46:41 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
2024-11-08 19:46:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 19:45:53 +0100 | <kqr> | merijn, Numeric looks good for what I need. Thanks! |
2024-11-08 19:42:58 +0100 | noctux | (~noctux@user/noctux) noctux |
2024-11-08 19:42:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-11-08 19:42:27 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-11-08 19:41:49 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
2024-11-08 19:41:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 19:40:21 +0100 | shapr | (~user@4.30.215.226) (Quit: walk home) |
2024-11-08 19:40:18 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 252 seconds) |
2024-11-08 19:40:03 +0100 | AWizzArd | (~code@gehrels.uberspace.de) |
2024-11-08 19:39:56 +0100 | AWizzArd | (~code@user/awizzard) (Ping timeout: 252 seconds) |
2024-11-08 19:37:54 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
2024-11-08 19:30:18 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2024-11-08 19:30:03 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
2024-11-08 19:30:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 19:28:08 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
2024-11-08 19:25:46 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
2024-11-08 19:24:57 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2024-11-08 19:23:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 19:22:51 +0100 | mud | (~mud@user/kadoban) kadoban |
2024-11-08 19:19:41 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-11-08 19:14:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-11-08 19:13:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-08 19:09:19 +0100 | xdminsy | (~xdminsy@117.147.71.147) (Read error: Connection reset by peer) |
2024-11-08 19:08:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 19:08:23 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-11-08 19:08:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-11-08 19:08:06 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-11-08 19:04:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-08 18:57:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-08 18:54:05 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-11-08 18:53:30 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
2024-11-08 18:52:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 18:52:22 +0100 | <haskellbridge> | <magic_rb> mauke i kind of get what youre saying. But ill have to bang my head against it some more to actually make sense of it |
2024-11-08 18:50:44 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
2024-11-08 18:48:34 +0100 | shapr | (~user@4.30.215.226) shapr |
2024-11-08 18:47:14 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-11-08 18:45:35 +0100 | <EvanR> | *parsing made easy* xD |
2024-11-08 18:43:01 +0100 | <mauke> | (I hope at least some of this made some sense) |
2024-11-08 18:42:59 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-11-08 18:42:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-08 18:41:21 +0100 | <mauke> | (two expr3 at the start because after seeing "+", expr3 calls itself) |
2024-11-08 18:41:06 +0100 | <mauke> | for the final "2", we basically do the same thing again: expr3 -> expr3 -> expr2 -> expr1 -> expr0 -> term |
2024-11-08 18:40:19 +0100 | <mauke> | which only succeeds at the top level, with expr3 -> op "+", because the next symbol is a "+" |
2024-11-08 18:40:12 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5628026389afde3b8f.dip0.t-ipconnect.de) acidjnk |
2024-11-08 18:39:52 +0100 | <mauke> | so when 'between' consumes ")", we return back up the expr hierarchy and try all the possible operators on the way up |
2024-11-08 18:39:08 +0100 | <mauke> | after "3": expr3 -> expr2 -> expr1 -> expr0 -> between |
2024-11-08 18:38:07 +0100 | <mauke> | btw, call stack at the point where we consume "3": expr3 -> expr2 -> expr1 -> expr0 -> between -> expr3 -> expr3 -> expr2 -> expr1 -> expr0 -> term |