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.in | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 sample/recursive_functions/gcd.in (limited to 'sample/recursive_functions/gcd.in') diff --git a/sample/recursive_functions/gcd.in b/sample/recursive_functions/gcd.in new file mode 100644 index 0000000..5a57d8d --- /dev/null +++ b/sample/recursive_functions/gcd.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