Make minor cleaning

1 files changed, 2 insertions, 0 deletions

diff --git a/TODO.md b/TODO.md
index 3ee40513..2ca92016 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,7 @@
 # TODO
 
+0. Update the high-level comments, in particular in Values.ml
+
 0. Rename Pure -> PureAst
 
 0. For variables pretty names: we could try to use the meta places used for the