Commit 083be863 by POTTIER Francois

TODO.

parent 07948b5b
......@@ -8,6 +8,8 @@ Better clean up & share code at the three call sites of [bulk].
TODO (PERHAPS)
Write a script to make sure that the code builds with 4.02.3, 4.03, 4.04, 4.05.
Document hexpr_polymorphic. Make VisitorsHashcons available as a library.
If there is an error, then the warnings are never seen,
......
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