From 4414357b041cc5d5e25db00a4a2cf834e0c4283b Mon Sep 17 00:00:00 2001
From: Guillaume Allais <guillaume.allais@ens-lyon.org>
Date: Thu, 25 Jan 2018 17:09:05 +0100
Subject: [PATCH] [ jfla ] sections

---
 doc/jfla18/agdarsec.tex | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/doc/jfla18/agdarsec.tex b/doc/jfla18/agdarsec.tex
index 178694b..51494ee 100644
--- a/doc/jfla18/agdarsec.tex
+++ b/doc/jfla18/agdarsec.tex
@@ -18,21 +18,23 @@
   Radboud University Nijmegen}
 
 \begin{document}
-
 \maketitle
 
-\begin{frame}{Language Dédié Intégré (eDSL) pour Analyseurs Syntaxiques}
+\begin{frame}{Programme}
+\tableofcontents
+\end{frame}
 
+\begin{frame}{Language Dédié Intégré (eDSL) pour Analyseurs Syntaxiques}
 \begin{itemize}
   \item Accès aux librairies et outils du langage hôte
   \item Bénéficie des analyseurs statiques du compilateur hôte
   \item Possibilité de définir des combinateurs d'ordre supérieur et de point fixe
 \end{itemize}
-
 \end{frame}
 
-\begin{frame}[fragile]{Les Bases}
+\section{En Haskell}
 
+\begin{frame}[fragile]{Les Bases}
 \begin{minted}{haskell}
 type Parser a =
   String           -- texte à analyser
@@ -138,6 +140,8 @@
 \end{onlyenv}
 \end{frame}
 
+\section{En Théorie des Types}
+
 \begin{frame}[fragile]{Un calcul réussi}
 \begin{minted}{haskell}
 record Success (A : Set) (n : ℕ) : Set where
@@ -150,7 +154,6 @@
 \end{minted}
 \end{frame}
 
-
 \begin{frame}[fragile]{Type des Parsers Totaux}
 \begin{minted}{haskell}
 record Parser (A : Set) (n : ℕ) : Set where
@@ -295,6 +298,8 @@
 \end{minted}
 \end{frame}
 
+\section{Extensions \& Limites}
+
 \begin{frame}{Généralisations}
 \begin{itemize}
   \item Pas seulement \texttt{Vec}: n'importe quelle entrée avec une notion de taille