diff options
-rw-r--r-- | contrib/extraction/TODO | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO index 1a6c40680..62c23142b 100644 --- a/contrib/extraction/TODO +++ b/contrib/extraction/TODO @@ -1,12 +1,10 @@ - 5. Haskell Syntax + 5. Tester 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. |