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.