Commit d339979b authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 83492205
......@@ -7,17 +7,23 @@ Think about other approaches to Rec:
- using laziness combined with mutability? might allow a single traversal.
- offering DefRec(p, t) as a primitive combinator?
Think about other approaches to repeated names.
In the end, implement iter, map, endo, iter2.
If the [lookup] method is no longer used, remove it from all kits.
copy and avoid should use [endo], not [map].
demos/basic:
test ParallelRed. (both variants)
implement conversion from de bruijn to nominal,
test the round-trip properties.
demos/system-F-type:
add TyExists.
Test. (both variants)
demos/advanced:
make sure that the operations seem to work.
demos/system F-type-term:
deal with both kinds of variables. (One or two namespaces?)
......
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