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