From 6b3075d90d945d5e7e8fd4d28284ffd99dbeb82e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Fri, 24 Sep 2021 16:42:54 +0900 Subject: v0.4.1 --- sample/fib-tail-38.in | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 sample/fib-tail-38.in (limited to 'sample/fib-tail-38.in') diff --git a/sample/fib-tail-38.in b/sample/fib-tail-38.in new file mode 100644 index 0000000..5996337 --- /dev/null +++ b/sample/fib-tail-38.in @@ -0,0 +1,10 @@ +// Fibonacci number +fibt(r, int a, int b) >< (int n) +| n == 0 => r~1 +| n == 1 => r~a +| _ => fibt(r, a+b, a) ~ (n-1); + +fibMain(r) >< (int n) => fibt(r, 1, 1) ~ n; + +fibMain(r)~9; +r; -- cgit v1.2.3