Commit 6578c30a authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent cf6725f6
......@@ -2,16 +2,15 @@
TODO (REALLY):
Careful:
avoid reduce, which is not tail recursive
use iter in [ba] and [fa]
should save a constant factor?
demos/basic:
test ParallelRed. (both variants)
System F demo:
demos/system-F-type:
add TyExists.
Test?
System F-type-term:
deal with both kinds of variables
Test. (both variants)
demos/system F-type-term:
deal with both kinds of variables. (One or two namespaces?)
Implement fused copy/subst, fused avoid/subst?
Implement a kit that composes two kits, so as to easily implement fused operations.
......@@ -49,3 +48,7 @@ Look at the visitors in Why3.
------------------------------------------------------------------------------
TODO (POSSIBLY):
Avoid reduce, which is not tail recursive.
Use iter in [ba] and [fa].
That should save a constant factor in stack usage?
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