sirikid / arith

Simple untyped language

Arith

Arith is simple untyped language, first exercise from Benjamin Pierce's book "Types and programming languages".

EBNF

term =
  | true
  | false
  | if term then term else term
  | 0
  | succ term
  | pred term
  | iszero term
  | ( term )