X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Ffinal-presentation.git;a=blobdiff_plain;f=christiaan%2Fintroduction.lhs;h=d7b1851eb0e08a37667bf930a6ebca466cd670cf;hp=bb142facd7185a820c9cbbf27205904a9a7aa916;hb=b614e04b171194ad19ea2597a7028f84cc03389c;hpb=e3bd36136d4f614710fc48c97a665501c10df819 diff --git a/christiaan/introduction.lhs b/christiaan/introduction.lhs index bb142fa..d7b1851 100644 --- a/christiaan/introduction.lhs +++ b/christiaan/introduction.lhs @@ -12,5 +12,5 @@ \input{christiaan/reductioncircuit} \input{christiaan/recursion} -\section{Questions} +\subsection{Questions} \frame{\vspace{2cm}\centerline{\Huge{Questions?}}} \ No newline at end of file