From f464d23c8f2448338b8a3d02aec8a5497304cfd9 Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Sat, 11 Apr 2020 01:02:04 +0200
Subject: [PATCH] bibliography todo

---
 tesi/tesi_unicode.org | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/tesi/tesi_unicode.org b/tesi/tesi_unicode.org
index b8a930b..29106a3 100644
--- a/tesi/tesi_unicode.org
+++ b/tesi/tesi_unicode.org
@@ -26,15 +26,10 @@ Magari prima pattern matching poi compilatore?
 \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}
+\begin{comment}
+TODO: Bibliografia! Dolan, altri sulla symexec???
+Cita i paper e il libro
 \end{comment}
 
 #+TITLE:   Translation Verification of the  pattern matching compiler