From daeb6ee69f225397ccfbad9c6c173ccd2b10e817 Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Mon, 31 Mar 2025 22:26:30 +0200
Subject: [PATCH] Ex 4.4.1: flip tau_2 and tau_1
---
info/exercises/src/ex-04/ex/types.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/info/exercises/src/ex-04/ex/types.tex b/info/exercises/src/ex-04/ex/types.tex
index 7e0f27a..34cd0d4 100644
--- a/info/exercises/src/ex-04/ex/types.tex
+++ b/info/exercises/src/ex-04/ex/types.tex
@@ -103,8 +103,8 @@
above derivation is valid.
\item In all valid derivations, \(\tau_2 = \tau_5\).
\item There are \emph{no} valid derivations where \(\tau_2 = \lstinline|Int|\).
- \item In all valid derivations, \(\tau_4 = (\tau_3, \tau_5)\)
- \item In all valid derivations, \(\tau_2 = \tau_4 \to \tau_1\)
+ \item In all valid derivations, \(\tau_4 = (\tau_3, \tau_5)\).
+ \item In all valid derivations, \(\tau_1 = \tau_4 \to \tau_2\).
\item There is a valid derivation where \(\tau_1 = \tau_2\).
\end{enumerate}
\item For each of the following pairs of terms and types, provide a valid
--
GitLab