From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Tue, 5 Mar 2024 18:19:27 +0900
Subject: v0.12.0

---
 sample/gcd_another.in | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 sample/gcd_another.in

(limited to 'sample/gcd_another.in')

diff --git a/sample/gcd_another.in b/sample/gcd_another.in
deleted file mode 100644
index e616e28..0000000
--- a/sample/gcd_another.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
-
-
-- 
cgit v1.2.3