El contenido de este repositorio es la formalización de la lógica de primer orden en Haskell. En el directorio texto se encuentra el texto en LaTeX y en el codigo se encuentran los códigos en Haskell literario.