Rec ( Id("pfact"), Fun(Id("x"),
Ifthenelse(Diff(Var(Id("x")),Eint(1)), Eint(1),
Sum(Var(Id("x")),
Appl(Var(Id("pfact")),Diff(Var(Id("x")),Eint(1)))))))
…..
# sem1 fact 0;;
- : eval = Mkarrow (Intero, Intero),[…]
# sem1 fact (-1);;
- : eval = Mkarrow (Intero, Intero),[…]
| Previous slide | Next slide | Back to first slide | View graphic version |