Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 8688d800 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 670c7a8f
......@@ -2,6 +2,10 @@
TODO (REALLY):
Careful:
avoid reduce, which is not tail recursive
e.g. in [ba] and [fa]
System F demo:
remove TyMu, or handle properly.
add TyExists.
......
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