From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 5 Mar 2024 18:19:27 +0900 Subject: v0.12.0 --- sample/recursive_functions/pow.in | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 sample/recursive_functions/pow.in (limited to 'sample/recursive_functions/pow.in') diff --git a/sample/recursive_functions/pow.in b/sample/recursive_functions/pow.in new file mode 100644 index 0000000..a123b9f --- /dev/null +++ b/sample/recursive_functions/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