djspiewak / skolems 0.2.1

Apache License 2.0 GitHub

A microlibrary for Scala encodings of higher-rank quantifiers

encoding
scala
rank-n
existential
universal
types

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)