aboutsummaryrefslogtreecommitdiff
path: root/sample/pow.in
blob: a123b9f605d6bd5e36aef9876093420a2f9bfb57 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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;