contrib/extraction/TODO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell

 7. Eta expansion pour contourner typage Caml

 9. Doc!! (exemples)

 10. Recommenter extraction.ml

 11. tester contribs
	
 12. garantir typage Caml => magic + cast.