From 69463a2c9f6b614ed98d6f9c09bb2d2666702e90 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Tue, 20 Jun 2023 02:48:26 +0200
Subject: Haskell (preliminary)

---
 main.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index f74a7ca..877fcd6 100644
--- a/main.tex
+++ b/main.tex
@@ -97,6 +97,7 @@ decorate, decoration={
 \dCat{\bCAT}{CAT}
 \dCat{\bCls}{Cls}
 \dCat{\bTopVec}{TopVec}
+\dCat{\bType}{Type}
 \newcommand{\cA}{\mathcal{A}}
 \newcommand{\cB}{\mathcal{B}}
 \newcommand{\cC}{\mathcal{C}}
@@ -136,6 +137,7 @@ decorate, decoration={
         \xrightarrow[\;{#2}\hfil]{\;{#1}\hfil}}}}}
 \newcommand{\nattwos}[2]{\nattwog{\downarrow\,{#1}}{\downarrow\,{#2}}{}{}}
 \newcommand{\nattwoi}[2]{\nattwog{\cong\,{#1}}{\cong\,{#2}}{}{}}
+\newcommand{\logicrule}[2]{\frac{\displaystyle{#1}}{\displaystyle{#2}}}
 
 \begin{document}
 \begin{titlepage}
@@ -196,7 +198,7 @@ decorate, decoration={
 \input{ch6_monads}
 
 \chapter{Categorías en programación}
-% TODO
+\input{ch7_programming}
 
 \appendix
 %\chapter{Bibliografía}
-- 
cgit v1.2.3