Presentation.lagda

\documentclass[xetex, 11pt,spanish]{beamer}
\usepackage[spanish]{babel}
\usetheme{Madrid}

\makeatletter
\def\th@mystyle{%
	\normalfont % body font
	\setbeamercolor{block title example}{bg=orange,fg=white}
	\setbeamercolor{block body example}{bg=orange!20,fg=black}
	\def\inserttheoremblockenv{exampleblock}
}
\makeatother
\theoremstyle{mystyle}
\newtheorem*{remark}{Remark}
\usepackage{agda}
\usepackage{fontspec}
\usepackage{unicode-math}

\setmainfont{DejaVu Serif}
\setsansfont{DejaVu Sans}
\setmainfont{XITS}
\setmathfont{XITS Math}
% Alternatively:
%\setmathfont{DejaVu Math TeX Gyre}
\setmonofont{DejaVu Sans Mono}
\usepackage{latex/agda}
\usepackage{catchfilebetweentags}
\begin{document}
\author{Ferreira Juan David}
	\title{Agda: Un lenguaje con tipos dependientes desde la práctica}
	%\subtitle{}
	%\logo{}
	%\institute{}
	%\date{}
	%\subject{}
	%\setbeamercovered{transparent}
	%\setbeamertemplate{navigation symbols}{}
	\begin{frame}[plain]
		\maketitle
	\end{frame}
  \input{../theory/intro.tex}
  \input{../theory/Semigroup.tex}
  \input{../structures/Semigroup.tex}
  \input{../structures/Monoid.tex}
  \input{../structures/Group.tex}
  %\input{../theory/IsAction.tex}
  \input{../structures/IsAction.tex}
  \input{../structures/GSet.tex}
  \input{../theory/MorphismsOfGSet.tex}
  \input{../structures/Equivariant.tex}
  \input{../theory/RepresentationTheory.tex}
\end{document}