Source

lambda-translator / term.ml

1
2
3
4
5
6
type var = string

type term =
  | Var of var
  | Abs of var * term
  | App of term * term