Commit cf27e30a authored by POTTIER Francois's avatar POTTIER Francois

TODO note.

parent 5a91c023
......@@ -27,7 +27,8 @@
* Changes that could be applied to the code back-end:
[action] could now be inlined into [run]
[initiate] and [bookkeeping] could be merged?
[env.shifted] could be removed; use [env.token] instead
[env.shifted] could become a Boolean [env.error],
as in the table back-end
* Document the Coq back-end (Jacques-Henri?)
......
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