contrib/extraction/TODO


1
2
3
4
5
6
7
8


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

 9. Doc!! (examples)
	
 12. Ocaml typing => magic + cast.

 13. Managing huge extraction (constructive FTA).