djspiewak / skolems 0.2.1

Apache License 2.0 GitHub

A microlibrary for Scala encodings of higher-rank quantifiers

rank-n
types
scala
encoding
universal
existential

Scala versions: 2.13 2.12 2.11

Latest version

[![skolems Scala version support](https://index.scala-lang.org/djspiewak/skolems/skolems/latest.svg)](https://index.scala-lang.org/djspiewak/skolems/skolems)

JVM badge

[![skolems Scala version support](https://index.scala-lang.org/djspiewak/skolems/skolems/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/djspiewak/skolems/skolems)