Commit 4320a179 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent f40875b5
Implement avoid, which renames the bound names of a term so as to
avoid a certain set of names.
Implement fused copy/subst, fused avoid/subst?
Implement a kit that composes two kits, so as to easily
implement fused operations.
Suppose I want to annotate every abstraction with its fa.
Or, suppose I want to annotate every abstraction with the
number of uses of the bound name.
......@@ -5,7 +12,7 @@ Can I easily do it?
Need a map_reduce visitor?
If TVar is a constructor of some type other than term
(e.g. value: one substitues values for variables in terms)
(e.g. value: one substitutes values for variables in terms)
then Toolbox must be adapted.
Check that every module has an .mli file, except where that would be too heavy.
......
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