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/gcd_another.in | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 sample/recursive_functions/gcd_another.in (limited to 'sample/recursive_functions/gcd_another.in') diff --git a/sample/recursive_functions/gcd_another.in b/sample/recursive_functions/gcd_another.in new file mode 100644 index 0000000..e616e28 --- /dev/null +++ b/sample/recursive_functions/gcd_another.in @@ -0,0 +1,16 @@ +// Greatest common divisor +// +//def gcd(a: Int, b: Int): Int = +// if (b==0) a else gcd(b, a%b) + + +// Rule +gcd(ret) >< (int a, int b) +| b==0 => ret ~ a +| _ => gcd(ret) ~ (b, a%b); + +// Net +gcd(r) ~ (14,21); +r; // it should be 7 + + -- cgit v1.2.3