From 071fcd465ccd51b8c509584ab6ca123225a2c9b8 Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Thu, 12 Mar 2020 12:21:08 +0100
Subject: [PATCH] todo

---
 tesi/tesi_unicode.org | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tesi/tesi_unicode.org b/tesi/tesi_unicode.org
index 5182657..bd7060a 100644
--- a/tesi/tesi_unicode.org
+++ b/tesi/tesi_unicode.org
@@ -2,7 +2,6 @@
 * TODO Scaletta [1/5]
   - [X] Abstract
   - [-] Background [40%]
-    - [X] 
     - [ ] Lambda code [0%]
       - [ ] Compiler optimizations
       - [ ] other instructions
@@ -18,8 +17,10 @@
       - [ ] Formal Grammar
       - [ ] Symbolic execution of the lambda target
     - [ ] Equivalence between source and target
+  - [ ] Statement of correctness
   - [ ] Proof of correctness
   - [ ] Practical results 
+TODO: talk about compiler stuff
   
 \end{comment}