gradual

Gradual, dependent typing for Clojure.

Leiningen/Boot

[gradual "0.2"]

Clojure CLI/deps.edn

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

Gradle

implementation("gradual:gradual:0.2")

Maven

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