updates:)
[cc1516.git] / examples / peano.spl
1 hyper(n, a, b){
2 if(n == 0){ return b + 1;
3 } else { if(b == 0 && n == 1){ return a;
4 } else { if(b == 0 && n == 2){ return 0;
5 } else { if(b == 0 && n >= 3){ return 1;
6 } else { return hyper(n-1, a, hyper(n, a, b - 1));
7 }}}}
8 }
9
10 main(){
11 print("s(3)=", hyper(0, 3, 3));
12 print("3+3=", hyper(1, 3, 3));
13 print("3*3=", hyper(2, 3, 3));
14 print("3^4=", hyper(3, 3, 4));
15 print("2|3=", hyper(4, 2, 3));
16 }