gradual

Gradual, dependent typing for Clojure.

Leiningen/Boot

[gradual "0.1.3"]

Clojure CLI/deps.edn

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

Gradle

implementation("gradual:gradual:0.1.3")

Maven

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