From 083669ae5a6c2f5d1e5dd7500e73a01ebd44020c Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sun, 19 Dec 2021 17:59:31 +0900
Subject: v0.5.5

---
 sample/gcd_another.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 sample/gcd_another.in

(limited to 'sample/gcd_another.in')

diff --git a/sample/gcd_another.in b/sample/gcd_another.in
new file mode 100644
index 0000000..e616e28
--- /dev/null
+++ b/sample/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