TODO 03.10.24

[dallaylaen]

interpreter page

• intro page explaining what combinators are
• autosave input history
• mobile-friendly nope.
• set up test cases for an expression
• move it all to vue copilot works well enough for ad hoc stuff
• create notes for user-defined combinators
• slow-mo execution
• bold for changed parts

quest page

• more quests, including ones from the mockingbird book
• allow lambdas but consider them cheating
• show/hide chapters, chapters have prerequisites
• syntax help page like in the interpreter
• make input field bigger

engine

• pick reduction strategy screw it, always normal
• ansi c comments (regex, not nested)
• more coercione like !nat (replaced with term + 0)
• expression hashmap
• heuristic loop detection ("reduction of expression foo includes foo itself somewhere")
• indented expression dump
• extract (alias list...) to make expressions more human readable