[ jfla ] sections

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