contrib/extraction/TODO


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

 2. Inductifs singletons

 3. Axiomes : v�rifier les flexibles sortant d'une constante

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell

 6. Renommage des var de type caml

 7. Eta expansion pour contourner typage Caml