diff -r 432d027aa6f7 -r ae9ffbf979ff progs/fun/defs.fun
--- a/progs/fun/defs.fun	Sun Oct 12 12:50:16 2025 +0100
+++ b/progs/fun/defs.fun	Fri Oct 17 11:20:49 2025 +0100
@@ -9,6 +9,9 @@
 def add(x, y) =
   if x == 0 then y else suc(add(x - 1, y));
 
+def add2(x, y) =
+  if x == 0 then y else add2(x - 1, y + 1); 
+  
 def mult(x, y) =
   if x == 0 then 0 else add(y, mult(x - 1, y));
 
@@ -83,3 +86,4 @@
 //collatz(5000)
 //facT(6, 1)
 
+