2.0
Num 11
TA_Result 11
2.0
Ifz (Num 0, Num 1, Num 2)
TA_Result 1
2.0
Snd (Pair (Num 1, Num 2))
TA_Result 2
2.0
App (Fn ("x", Add (Var "x", Var "x")), Num 2)
TA_Result 4
2.0
App (Fn ("x", Add (Fst (Var "x"), Snd (Var "x"))), Pair (Num 1, Num 2))
TA_Result 3
2.0
App (Fn ("x", Ifz (Add (Var "x", Num 1), Num 1, Num 2)), Num 1)
TA_Result 2
2.0
App (Fn ("f", App (Var "f", Num 1)), Fn ("x", Add (Var "x", Num 1)))
TA_Result 2
2.0
App (Rec ("f", "x", Ifz (Var "x", Num 0, Num 1)), Num 0)
TA_Result 0
2.0
App (Rec ("f", "x", Ifz (Var "x", Num 0, Add (Var "x", App (Var "f", Sub (Var "x", Num 1))))), Num 10)
TA_Result 55
2.0
App (Rec ("f", "x", Ifz (Var "x", Num 1, Ifz (Sub (Var "x", Num 1), Num 1, Add (App (Var "f", Sub (Var "x", Num 1)), App (Var "f", Sub (Var "x", Num 2)))))), Num 5)
TA_Result 8
2.0
App (Rec ("f", "x", Ifz (Sub (Var "x",Num 1), Num 1, App (Rec ("g", "y", Ifz (Snd (Var "y"), Num 0, Add (App (Var "g",Pair (Fst (Var "y"), Sub (Snd (Var "y"), Num 1))),(Fst (Var "y"))))), Pair (Var "x",App (Var "f",Sub (Var "x", Num 1)))))), Num 3)
TA_Result 6
2.0
App (Rec ("fib", "x", Ifz (Fst (Var "x"), Fst (Snd (Var "x")), App(Var "fib", Pair (Sub(Fst(Var "x"),Num 1), Pair(Snd(Snd(Var "x")),Add (Fst(Snd(Var "x")),Snd(Snd(Var "x")))))))), Pair(Num 3,Pair (Num 0,Num 1)))
TA_Result 2
2.0
App(Rec("sum", "x", Ifz (Sub (Snd (Var "x"), Fst (Var "x")), Fst (Var "x"), Add(App(Var "sum", Pair (Add(Fst(Var "x"),Num 1),Snd(Var "x"))), Fst(Var "x")))), Pair (Num 5,Num 10))
TA_Result 45
2.0
App(Rec("div", "x", Ifz (Sub(Fst(Var "x"), Snd(Var "x")), Num 1, Add(App(Var "div", Pair(Sub(Fst(Var "x"),Snd(Var "x")),Snd(Var "x"))), Num 1))), Pair (Num 12,Num 3))
TA_Result 4
2.0
App(Rec("f", "x", Ifz (Fst (Var "x"), Snd (Var "x"), App(Var "f", Pair(Sub(Fst(Var "x"),Snd(Var "x")),Add(Snd(Var "x"),Num 1))))), Pair(Num 6,Num 1))
TA_Result 4