Commit 0e17d991 authored by POTTIER Francois's avatar POTTIER Francois


parent ab16a1c3
......@@ -6,6 +6,8 @@ System F demo:
remove TyMu, or handle properly.
add TyExists.
System F-type-term:
deal with both kinds of variables
Relax ba so as to not require well-formedness?
Define wf separately, relying on ba_wf internally.
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