Block a user
Turtle graphics protocol
A simple example:
{
"stdout": {
"proto": ["text-stream", "0.1.0"],
"data": []
},
"stderr": {
"proto": ["text-stream", "0.1.0"],
"data": ["oops, I…
Turtle graphics protocol
A few thoughts, notes here:
- This is really a version of a complete I/O protocol for Ludus.
- This means that all of these are, in some sense, streams, not static objects.
- Each output of…
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…