contrib/extraction/TODO


1
2
3
4
5
6
7
8

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell

 7. Eta expansion pour contourner typage Caml

 8. Synchroniser Reset & les tables