From 773fe1a9c3e182cf7f5f86ce8c5e45f2e9ba9a45 Mon Sep 17 00:00:00 2001
From: pingu <nor@acorneroftheweb.com>
Date: Wed, 19 Nov 2025 11:15:50 +0100
Subject: [PATCH] Myes

---
 3/assig.org | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/3/assig.org b/3/assig.org
index aa2596c..a9d6cf3 100644
--- a/3/assig.org
+++ b/3/assig.org
@@ -98,13 +98,10 @@ Hint: If you want to make use of addition in the implementation of multiplicatio
   { Zero() -> Zero()
   ; Succ(n) -> add m (mult n)
   } 
-#+end_src
-where we substitute ~add~ for the following:
-#+begin_src chi
-\m. rec add = \n. case n of
-  { Zero() -> m
-  ; Succ(n) -> Suc(add n)
-  } 
+[ add <- \m. rec add = \n. case n of
+                { Zero() -> m
+                ; Succ(n) -> Suc(add n)
+                }]
 #+end_src
 
 ** (2p) [BN]