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/pow.in | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 sample/pow.in

(limited to 'sample/pow.in')

diff --git a/sample/pow.in b/sample/pow.in
deleted file mode 100644
index a123b9f..0000000
--- a/sample/pow.in
+++ /dev/null
@@ -1,16 +0,0 @@
-pow2(r, int m) >< (int n)
-| n == 0 => r~m
-| _ => pow2(r, m*2)~(n-1);
-
-pow(r) >< (int n)
-| n == 0 => r~1
-| _ => pow2(r, 1)~(n);
-
-
-// Caclulate 2^10
-const NUM=10;
-pow(r)~NUM; // it can also be written with abbreviation: r << pow(NUM)
-r;
-
-
-
-- 
cgit v1.2.3