Commit 5d1d430e authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 78727994
......@@ -4,8 +4,6 @@ The type (_, _) abstraction could be transparent, private, or opaque.
Benchmark fa versus fa' and decide which one to keep.
Operations on terms:
test x \in fv(t) (nominal)
test closed(t)
simultaneous opening? (nominal)
conversion from debruijn back to nominal
a printer for debruijn terms?
......
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