From 3d68debb9b90875b91b86b935b8b311758d40747 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Thu, 25 Nov 2021 13:30:25 +0200 Subject: Update sample code --- samples/recursion.tunk | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 samples/recursion.tunk (limited to 'samples/recursion.tunk') diff --git a/samples/recursion.tunk b/samples/recursion.tunk new file mode 100644 index 0000000..1c5ed19 --- /dev/null +++ b/samples/recursion.tunk @@ -0,0 +1,17 @@ +# Recursively calculate triangular number of n +rec n = triangle (int.sub n 1); +triangle n = int.eq? n 1 + 1 + (int.add + n + (rec n)); + +triangle 500; + +# Recursively calculate factorial of n +factorial n = + int.eq? n 0 + 1 + (int.mul n (factorial (int.sub n 1))); + +factorial 20; \ No newline at end of file -- cgit v1.3