From 6fdce5d58babbd33f779e9fb22a9f2730f5d43a8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 09:16:26 +0100
Subject: Add some TODOs

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

diff --git a/TODO.md b/TODO.md
index b8075bf4..acfebff6 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,9 @@
 # TODO
 
+0. merge the "read determinant" and the "switch" occurrences to "match"
+
+0. reaggregate the ADTs
+
 0. when going from symbolic to pure, remove the useless tuples (as some fields
    might be erased).
 
-- 
cgit v1.2.3