/specification

Lambda language specification about syntax, typechecking rules, runtime rules with examples.

No issues in this repository yet.