Commit 578db004 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 5b1e10de
......@@ -8,7 +8,6 @@ Careful:
should save a constant factor?
System F demo:
remove TyMu, or handle properly.
add TyExists.
Test?
System F-type-term:
......
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