It would be awesome if the web version had something to automatically construct inference trees and an EBNF syntax checker. Also something like train trees of Dyalog APL would be neat. This is quite a big overhaul and might require to abandon the current dual target Haskell architecture (browser / native). One possible approach could be to make the interpreter function via message passing. On receive of tuple between statement and current state, return next state.
It would be awesome if the web version had something to automatically construct inference trees and an EBNF syntax checker. Also something like train trees of Dyalog APL would be neat. This is quite a big overhaul and might require to abandon the current dual target Haskell architecture (browser / native). One possible approach could be to make the interpreter function via message passing. On receive of tuple between statement and current state, return next state.