Latte 1.0b10-SNAPSHOT
Released under the MIT Licence
LaTTe : a Laboratory for Type Theory Experiments.
Installation
To install, add the following dependency to your project or build file:
[latte "1.0b10-SNAPSHOT"]
Topics
Namespaces
latte.core
This namespace provides the top-level forms of the LaTTe framework.
Public variables and functions: