1 files changed, 16 insertions, 0 deletions
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
+
+