Merge branch 'develop'

1 files changed, 16 insertions, 0 deletions

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
+
+