From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 5 Mar 2024 18:19:27 +0900 Subject: v0.12.0 --- sample/recursive_functions/fib-tail_9.in | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 sample/recursive_functions/fib-tail_9.in (limited to 'sample/recursive_functions/fib-tail_9.in') diff --git a/sample/recursive_functions/fib-tail_9.in b/sample/recursive_functions/fib-tail_9.in new file mode 100644 index 0000000..58f4cc5 --- /dev/null +++ b/sample/recursive_functions/fib-tail_9.in @@ -0,0 +1,10 @@ +// Fibonacci number +fibt(r, int a, int b) >< (int n) +| n == 0 => r~0 +| n == 1 => r~a +| _ => fibt(r, a+b, a) ~ (n-1); + +fibMain(r) >< (int n) => fibt(r, 1, 0) ~ n; + +fibMain(r)~9; +r; -- cgit v1.2.3