From b0d1da99c1265c8ecb0336f8319e95f15ca84926 Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Fri, 10 Apr 2020 00:46:42 +0200
Subject: [PATCH] todo coppo

---
 tesi/tesi_unicode.org | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/tesi/tesi_unicode.org b/tesi/tesi_unicode.org
index cff2ea3..5a43f89 100644
--- a/tesi/tesi_unicode.org
+++ b/tesi/tesi_unicode.org
@@ -25,6 +25,20 @@ Magari prima pattern matching poi compilatore?
   
 \end{comment}
 
+\begin{comment}
+MAIL COPPO:
+Dovrei usare il termine tool invece di algoritmo?
+Quanto devo scrivere della mia esperienza all'inria? Per ora non ho detto nulla
+Descrivigli le parti che salto
+
+Perche` ha segnato delle note su:
+→ l
+P → L
+clause matrix
+[|tₛ|]
+
+\end{comment}
+
 #+TITLE:   Translation Verification of the  pattern matching compiler
 #+AUTHOR:   Francesco Mecca
 #+EMAIL:    me@francescomecca.eu