contrib/extraction/TODO


1
2
3
4
5
6
7
8
9
10

 2. Inductifs singletons

 3. Axiomes

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell

 6. Reset sur les commandes Extract Constant/Inductive