Block a user
Disallow shadowing?
Validator now disallows shadowing of any name in any context. Next up: develop logic in validator to only check names that are explicitly bound in a script, and not names that are in Prelude.
Update Lezer and Tree-Sitter grammars: remove
loop
and recur
Improve parser errors on extra exprs/tokens on line
Finally figured this out. Complete in 4a069278b8
Improve parser errors on extra exprs/tokens on line
"Literate" Ludus
Next steps:
- Turtle graphics protocol v. 0.1.
- Specification of a "Literate Ludus" markdown format. (YAML/TOML front matter is probably the way to go here.)
- Development of various…
"Literate" Ludus
Conversation with @matt: Looks like the first version of "Ludus as a host in markdown" is the most promising approach here: it will already work with all the parsers.
Also, perhaps we have a…
Splat patterns should show word/name bindings in
doc!
and match errors