diff options
Diffstat (limited to 'contrib/extraction/TODO')
-rw-r--r-- | contrib/extraction/TODO | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO index 62c23142b..b418ecf61 100644 --- a/contrib/extraction/TODO +++ b/contrib/extraction/TODO @@ -1,11 +1,8 @@ - 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. + 12. Ocaml typing => magic + cast. + 13. Managing huge extraction (constructive FTA).
\ No newline at end of file |