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 )

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
repl		repl
spec		spec
src		src
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
arith.cabal		arith.cabal
stack.yaml		stack.yaml