Commit 110f6f50 authored by POTTIER Francois's avatar POTTIER Francois


parent db7ccef9
......@@ -8,6 +8,9 @@
* Provide an extensible-vector implementation of `IMPERATIVE_MAPS`.
* Using the last two features, implement a memoized function over
hash-consed trees, where the memoization table involves no hashing.
* Provide a variant of `Fix.Make` where the right-hand sides are
syntactic and come with an `eval` function? (Is it of any use?)
Use it in `CFG`.
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