term-rewriting

term rewriting library

Leiningen/Boot

[term-rewriting "0.1.0"]

Clojure CLI/deps.edn

term-rewriting/term-rewriting {:mvn/version "0.1.0"}

Gradle

implementation("term-rewriting:term-rewriting:0.1.0")

Maven

<dependency>
  <groupId>term-rewriting</groupId>
  <artifactId>term-rewriting</artifactId>
  <version>0.1.0</version>
</dependency>