Arith is simple untyped language, first exercise from Benjamin Pierce's book "Types and programming languages".
term =
| true
| false
| if term then term else term
| 0
| succ term
| pred term
| iszero term
| ( term )
Arith is simple untyped language, first exercise from Benjamin Pierce's book "Types and programming languages".
term =
| true
| false
| if term then term else term
| 0
| succ term
| pred term
| iszero term
| ( term )