typed.checker.jvm

An optional type system for Clojure — full system for annotating and type-checking.

License

License

Categories

Categories

Clojure Languages
GroupId

GroupId

org.clojure.typed
ArtifactId

ArtifactId

checker.jvm
Last Version

Last Version

1.10.0-alpha1
Release Date

Release Date

Type

Type

jar
Description

Description

typed.checker.jvm
An optional type system for Clojure — full system for annotating and type-checking.

Download checker.jvm

How to add to project

<!-- https://jarcasting.com/artifacts/org.clojure.typed/checker.jvm/ -->
<dependency>
    <groupId>org.clojure.typed</groupId>
    <artifactId>checker.jvm</artifactId>
    <version>1.10.0-alpha1</version>
</dependency>
// https://jarcasting.com/artifacts/org.clojure.typed/checker.jvm/
implementation 'org.clojure.typed:checker.jvm:1.10.0-alpha1'
// https://jarcasting.com/artifacts/org.clojure.typed/checker.jvm/
implementation ("org.clojure.typed:checker.jvm:1.10.0-alpha1")
'org.clojure.typed:checker.jvm:jar:1.10.0-alpha1'
<dependency org="org.clojure.typed" name="checker.jvm" rev="1.10.0-alpha1">
  <artifact name="checker.jvm" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.clojure.typed', module='checker.jvm', version='1.10.0-alpha1')
)
libraryDependencies += "org.clojure.typed" % "checker.jvm" % "1.10.0-alpha1"
[org.clojure.typed/checker.jvm "1.10.0-alpha1"]

Dependencies

compile (9)

Group / Artifact Type Version
org.clojure : clojure jar 1.10.1
org.clojure.typed : analyzer.jvm jar 1.10.0-alpha1
org.clojure.typed : lib.clojure jar 1.10.0-alpha1
org.clojure : tools.namespace jar 0.3.0-alpha4
org.clojure.typed : runtime.jvm jar 1.10.0-alpha1
org.clojure : math.combinatorics jar 0.1.4
org.clojure : tools.reader jar 1.1.1
org.clojure.typed : lang.jvm jar 1.10.0-alpha1
org.clojure : core.cache jar 0.8.2

provided (1)

Group / Artifact Type Version
org.clojure : tools.nrepl jar 0.2.13

Project Modules

There are no modules declared in this project.
org.clojure.typed

Clojure

Versions

Version
1.10.0-alpha1
1.0.1
1.0.0
1.0.0-alpha1
0.8.0-alpha7
0.8.0-alpha6
0.8.0-alpha5
0.8.0-alpha3