1 files changed, 0 insertions, 16 deletions
diff --git a/sample/gcd.in b/sample/gcd.in
deleted file mode 100644
index 5a57d8d..0000000
--- a/sample/gcd.in
+++ /dev/null
@@ -1,16 +0,0 @@
-// 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
-
-