contrib/extraction/TODO


1
2
3
4
5
6
7
8
9
10
11


 5. Tester Haskell Syntax

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

 9. Doc!! (examples)

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