gradual

Gradual, dependent typing for Clojure.

Leiningen/Boot

[gradual "0.1.0"]

Clojure CLI/deps.edn

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

Gradle

implementation("gradual:gradual:0.1.0")

Maven

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