contrib/extraction/TODO


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

 5. Haskell Syntax

 7. Eta expansion for resolving message: "variables cannot be generalized"

 9. Doc!! (examples)

 10. Comments in  extraction.ml

 11. test contribs
	
 12.  Ocaml typing => magic + cast.