1 files changed, 10 insertions, 0 deletions
diff --git a/tests/fun.tdy b/tests/fun.tdy
index ea034a9..8011369 100644
--- a/tests/fun.tdy
+++ b/tests/fun.tdy
@@ -55,3 +55,13 @@ f5_inner := fn -> int {
     ret 1
 }
 f5(f5_inner, 2) <=> 3
+
+factorial := fn n: int -> int {
+    if n <= 1 {
+        ret 1
+    }
+    ret n * factorial(n - 1)
+}
+factorial(5) <=> 120
+factorial(6) <=> 720
+factorial(12) <=> 479001600