The definitional environment.
The definitional environment.
Normalization and beta-equivalence.
Normalization and beta-equivalence.
The rich syntax of the lambda-calculus implemented by LaTTe.
The rich syntax of the lambda-calculus implemented by LaTTe.
The proof elaborator and checker.
The proof elaborator and checker.
The internal representation of lambda-terms.
The internal representation of lambda-terms.
A set of dummy utilities.
A set of dummy utilities.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close