gradual

Gradual, dependent typing for Clojure.

Leiningen/Boot

[gradual "0.1.2"]

Clojure CLI/deps.edn

gradual/gradual {:mvn/version "0.1.2"}

Gradle

implementation("gradual:gradual:0.1.2")

Maven

<dependency>
  <groupId>gradual</groupId>
  <artifactId>gradual</artifactId>
  <version>0.1.2</version>
</dependency>