Commit 38069394 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent a0da9074
...@@ -2,6 +2,11 @@ ...@@ -2,6 +2,11 @@
TODO (REALLY): TODO (REALLY):
System F demo:
remove TyMu, or handle properly.
add TyExists.
Test?
Relax ba so as to not require well-formedness? Relax ba so as to not require well-formedness?
Define wf separately, relying on ba_wf internally. Define wf separately, relying on ba_wf internally.
Global uniqueness, or uniqueness along a branch? Global uniqueness, or uniqueness along a branch?
...@@ -14,6 +19,8 @@ Implement fused copy/subst, fused avoid/subst? ...@@ -14,6 +19,8 @@ Implement fused copy/subst, fused avoid/subst?
Implement a kit that composes two kits, so as to easily implement fused operations. Implement a kit that composes two kits, so as to easily implement fused operations.
Composition of classes? Or composition of kit objects? ... Composition of classes? Or composition of kit objects? ...
Test avoid.
Suppose I want to annotate every abstraction with its fa. Suppose I want to annotate every abstraction with its fa.
Or, suppose I want to annotate every abstraction with the Or, suppose I want to annotate every abstraction with the
number of uses of the bound name. 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