latte

LaTTe : a Laboratory for Type Theory Experiments

Leiningen/Boot

[latte "1.0b4-SNAPSHOT"]

Clojure CLI/deps.edn

latte/latte {:mvn/version "1.0b4-SNAPSHOT"}

Gradle

implementation("latte:latte:1.0b4-SNAPSHOT")

Maven

<dependency>
  <groupId>latte</groupId>
  <artifactId>latte</artifactId>
  <version>1.0b4-SNAPSHOT</version>
</dependency>