1 files changed, 2 insertions, 3 deletions
diff --git a/TODO.md b/TODO.md
index 62eb95d5..3816cda8 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,8 +1,7 @@
 # TODO
 
-0. borrows which are never ended? Drop locals in *symbolic* modes upon return
-
-0. improve variable names generation: "hash_map" -> "hm" (and not just "h")
+0. Improve treatments of error and state error monads. In particular, introduce
+   `return` and `fail`, and remove `Return` and `Fail`.
 
 0. replace all the `failwith` with `raise (Failure ...)`: in CPS, it messes
    up with provenance tracking