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.2.1


Group ID:
com.codecommit
Artifact ID:
skolems_2.12
Version:
0.2.1
Release Date:
Apr 28, 2020
Licenses:
Files:

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

Mill build tool

ivy"com.codecommit::skolems:0.2.1"

Scala CLI

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

Ammonite REPL

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

<dependency>
  <groupId>com.codecommit</groupId>
  <artifactId>skolems_2.12</artifactId>
  <version>0.2.1</version>
</dependency>

compile group: 'com.codecommit', name: 'skolems_2.12', version: '0.2.1'