TODO « extraction « contrib - coq - The formal proof system

about summary refs log tree commit diff

path: root/contrib/extraction/TODO

blob: c2d8f4458472247cea686c2d33feaf46c95c925a (plain)

 2. Inductifs singletons

 3. Axiomes

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell