2018-02-16 11:22:07 +00:00
|
|
|
type var = string
|
|
|
|
|
|
2018-02-13 23:43:40 +00:00
|
|
|
type term =
|
2018-02-16 11:22:07 +00:00
|
|
|
| TmVar of var
|
|
|
|
|
| TmAbs of var * term
|
2018-02-13 23:43:40 +00:00
|
|
|
| TmApp of term * term
|
|
|
|
|
|
2018-02-20 09:24:52 +00:00
|
|
|
type input =
|
|
|
|
|
| Term of term
|
|
|
|
|
| Assign of string * term
|
|
|
|
|
|
2018-02-16 11:22:07 +00:00
|
|
|
type context = (string * term) list
|
2018-02-13 23:43:40 +00:00
|
|
|
|
