1.0
11
TA_Result 11
1.0
ifzero 0 then 1 else 2
TA_Result 1
1.0
(1,2).2
TA_Result 2
1.0
(fn x => x + x) 2
TA_Result 4
1.0
(fn x => (x.1) + (x.2)) (1,2)
TA_Result 3
2.0
(fn x => ifzero (x and 1) then 1 else 2) 1
TA_Result 2
2.0
(fn f => (f 1)) (fn x => x + 1)
TA_Result 2
2.0
(rec f x => ifzero x then 0 else 1) 0
TA_Result 0
2.0
(rec f x => ifzero x then 0 else (x + f (x-1))) 10
TA_Result 55
2.0
(rec f x => ifzero x then 1 else (ifzero (x-1) then 1 else ((f (x-1)) + (f (x-2))))) 5
TA_Result 8
2.0
(rec f x => ifzero (x-1) then 1 else ((rec g y => ifzero y.2 then 0 else g(y.1,(y.2)-1)+(y.1)) (x,f(x-1)))) 3
TA_Result 6
2.0
(rec fib x => ifzero (x.1) then ((x.2).1) else (fib (((x.1)-1), ((x.2).2,((x.2).1)+((x.2).2))))) (3,(0,1))
TA_Result 2
2.0
(rec sum x => ifzero ((x.2) - (x.1)) then (x.1) else ((sum ((x.1)+1,x.2)) + (x.1))) (5,10)
TA_Result 45
2.0
(rec div x => ifzero (x.1)-(x.2) then 1 else (div ((x.1)-(x.2),x.2)) + 1) (12,3)
TA_Result 4
2.0
(rec f x => ifzero (x.1) then (x.2) else (f ((x.1)-(x.2),(x.2)+1))) (6,1)
TA_Result 4