From 8c7809d024e85d0a8acfb794a4db41b0e4bc13e6 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 2 May 2022 09:49:01 +0900 Subject: v0.8.2-1 --- sample/pow.in | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 sample/pow.in (limited to 'sample/pow.in') diff --git a/sample/pow.in b/sample/pow.in new file mode 100644 index 0000000..a123b9f --- /dev/null +++ b/sample/pow.in @@ -0,0 +1,16 @@ +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