djspiewak / skolems 0.2.1

Apache License 2.0 GitHub

A microlibrary for Scala encodings of higher-rank quantifiers

Scala versions: 2.13 2.12 2.11

skolems 0.1.1

Group ID:

com.codecommit

Artifact ID:

skolems_2.13

Version:

0.1.1

Release Date:

Nov 19, 2019

Licenses:

Apache-2.0

Files:

Full Scala Version:

2.13.1

Developers:

Daniel Spiewak

libraryDependencies += "com.codecommit" %% "skolems" % "0.1.1"

ivy"com.codecommit::skolems:0.1.1"

//> using dep "com.codecommit::skolems:0.1.1"

import $ivy.`com.codecommit::skolems:0.1.1`

<dependency>
  <groupId>com.codecommit</groupId>
  <artifactId>skolems_2.13</artifactId>
  <version>0.1.1</version>
</dependency>

compile group: 'com.codecommit', name: 'skolems_2.13', version: '0.1.1'