Commit 79fa1cf1 authored by POTTIER Francois's avatar POTTIER Francois


parent 4ab0f590
......@@ -145,6 +145,12 @@
* Standard library: add more list forms (left-recursive lists,
flexible lists, etc.)
* Standard library: might wish to add epsilon (which recognizes
the empty string and produces a unit value), nil (which
recognizes the empty string and produces an empty list), etc.
However, they would need to be marked %unreachable
(i.e., do not warn if they are unreachable).
* Define [print_checkpoint].
Define a printer that shows the states in the stack.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment