diff -r 553cd0c5e983 -r 0db5961fe39f progs/fun/add.fun
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/fun/add.fun	Wed Dec 02 16:03:57 2020 +0000
@@ -0,0 +1,10 @@
+
+
+def add(x, y) =
+  if x == 0 then y else 1 + (add(x - 1, y));
+
+def addT(x, y) =
+  if x == 0 then y else addT(x - 1, y + 1);
+
+(write(add(1000, 1000)); addT(100000,100000))
+