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

about summary refs log tree commit diff

path: root/contrib/extraction/TODO

blob: 8f362e74b2c5f1bb27ae3ebaab0f8546a535fdf0 (plain)

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell

 7. Eta expansion pour contourner typage Caml