Commit 40990b1d authored by POTTIER Francois's avatar POTTIER Francois


parent 8c3b8777
......@@ -4,7 +4,8 @@ TODO (REALLY):
avoid reduce, which is not tail recursive
e.g. in [ba] and [fa]
use iter in [ba] and [fa]
should save a constant factor?
System F demo:
remove TyMu, or handle properly.
......@@ -13,8 +14,6 @@ System F demo:
System F-type-term:
deal with both kinds of variables
Implement avoids. (Test for no-shadowing.)
Implement a subst that does not copy the grafted term?
Or parameterize subst over the copy operation that needs to be performed when grafting?
......@@ -22,8 +21,6 @@ Implement fused copy/subst, fused avoid/subst?
Implement a kit that composes two kits, so as to easily implement fused operations.
Composition of classes? Or composition of kit objects? ...
Test avoid.
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.
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