japgolly / tla2json 1.0.1

Apache License 2.0 GitHub

Convert TLA+ output (and values) into JSON

Scala versions: 2.13

Group ID:

com.github.japgolly.tla2json

Artifact ID:

tla2json_2.13

Version:

1.0.0

Release Date:

Dec 14, 2020

Licenses:

Apache-2.0

Files:

libraryDependencies += "com.github.japgolly.tla2json" %% "tla2json" % "1.0.0"

ivy"com.github.japgolly.tla2json::tla2json:1.0.0"

//> using dep "com.github.japgolly.tla2json::tla2json:1.0.0"

import $ivy.`com.github.japgolly.tla2json::tla2json:1.0.0`

<dependency>
  <groupId>com.github.japgolly.tla2json</groupId>
  <artifactId>tla2json_2.13</artifactId>
  <version>1.0.0</version>
</dependency>

compile group: 'com.github.japgolly.tla2json', name: 'tla2json_2.13', version: '1.0.0'