From c4b55778b71238a3a635b1f8510318fddde6fd2b Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Mon, 24 Feb 2020 14:37:50 +0100
Subject: [PATCH] script conversione

---
 tesi/conv.py          |   7 ++-----
 tesi/tesi.pdf         | Bin 249740 -> 249740 bytes
 tesi/tesi_unicode.tex |  14 +++++++-------
 3 files changed, 9 insertions(+), 12 deletions(-)

diff --git a/tesi/conv.py b/tesi/conv.py
index fe70105..3206322 100644
--- a/tesi/conv.py
+++ b/tesi/conv.py
@@ -35,11 +35,8 @@ def convert(ch, mathmode):
         return symbols[ch] if ch in symbols else ch
 
 # convert symbols except the one requiring math mode modifiers
-# all passes produces a list of words that must be joined by ' '.join( )
-firstpass = ''.join([convert(*c) for c in read_by_char(argv[1])]).split(' ')
-# secondpass = insert_math(''.join(firstpass).split(' '))
-# thirdpass = escape_outside_mathmode(firstpass)
+firstpass = [convert(*c) for c in read_by_char(argv[1])]
 
-newfile = ' '.join(firstpass)
+newfile = ''.join(firstpass)
 with open(argv[2], 'w') as f:
     f.write(newfile)
diff --git a/tesi/tesi.pdf b/tesi/tesi.pdf
index 9ebe838e185cd0af5eb0a2c450d8cd1cd9d7137f..f8637f1b9ee82424935c9fb9fa4998ad5292db14 100644
GIT binary patch
delta 106
zcmeB~&)+kjzoCV(g=q_O(`hDi!|5%jnH7Qb_T{IUA2K?-8kn0JIh#5g8(Ekd8oN0;
f8arD$x>^`HTNs!-8CV$DDcBHFvi<Z~=7Wp?uZ12l

delta 106
zcmeB~&)+kjzoCV(g=q_O(`hDCgXt}&nH7Qb_T{IUA2K>ym^v9anmL-98M_!enz<Rc
fI=L8I8d$nH8atV|IGP*TDcBHFvi<Z~=7Wp?x=bF4

diff --git a/tesi/tesi_unicode.tex b/tesi/tesi_unicode.tex
index 83db8d4..ad81c61 100644
--- a/tesi/tesi_unicode.tex
+++ b/tesi/tesi_unicode.tex
@@ -1,4 +1,4 @@
-% Created 2020-02-24 Mon 14:35
+% Created 2020-02-24 Mon 14:37
 % Intended LaTeX compiler: pdflatex
 \documentclass[11pt]{article}
 \usepackage[utf8]{inputenc}
@@ -36,7 +36,7 @@
 
 \maketitle
 \section{{\bfseries\sffamily TODO} Scaletta [1/2]}
-\label{sec:orgd539212}
+\label{sec:org8ebbc9e}
 \begin{itemize}
 \item[{$\boxtimes$}] Abstract
 \item[{$\boxminus$}] Background [20\%]
@@ -92,10 +92,10 @@ blackboxes that are not evaluated in the context of the verification.
 \end{abstract}
 
 \section{Background}
-\label{sec:org06597c8}
+\label{sec:org73f49d4}
 
 \subsection{OCaml}
-\label{sec:org8d0180f}
+\label{sec:orga0f2160}
 Objective Caml (OCaml) is a dialect of the ML (Meta-Language) family of programming
 languages.
 OCaml shares many features with other dialects of ML, such as SML and Caml Light,
@@ -143,7 +143,7 @@ statically and can be reificated through functors.
 
 \begin{enumerate}
 \item {\bfseries\sffamily TODO} Pattern matching [37\%]
-\label{sec:orgd3cffc0}
+\label{sec:org8bcefd9}
 \begin{itemize}
 \item[{$\square$}] capisci come mettere gli esempi uno accanto all'altro
 \end{itemize}
@@ -234,7 +234,7 @@ It can be described more formally through a BNF grammar.
 \end{itemize}
 
 \item {\bfseries\sffamily TODO} 1.2.1 Pattern matching compilation to lambda code
-\label{sec:orgc04d093}
+\label{sec:orgd51f0ff}
 
 \begin{itemize}
 \item[{$\square$}] Da tabella a matrice
@@ -322,7 +322,7 @@ are the same
 \end{enumerate}
 
 \subsection{1.2.1.1 Initial state of the compilation}
-\label{sec:orgc758fe3}
+\label{sec:org333d6ea}
 
 Given a source of the following form: