From e0545a9e5e7ba939a1d4d1c05fcfa52d6c9912d3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 18 Mar 2022 14:03:04 +0100
Subject: Add some TODOs

---
 TODO.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/TODO.md b/TODO.md
index 3816cda8..37d35138 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,11 @@
 # TODO
 
+0. Priority:
+  * update treatment of matches
+  * remove prepass
+  * update pure expressions
+  * update control-flow reconstruction (Charon)
+
 0. Improve treatments of error and state error monads. In particular, introduce
    `return` and `fail`, and remove `Return` and `Fail`.
 
-- 
cgit v1.2.3