API Doc
Awesome Scala
Login
djspiewak
/
skolems
0.2.1
Apache License 2.0
GitHub
A microlibrary for Scala encodings of higher-rank quantifiers
rank-n
encoding
scala
universal
existential
types
Scala versions:
2.13
2.12
2.11
Project
Artifacts
Versions
Badges
2.13
2.12
2.11
Found
1
artifact
skolems
0.2.1
4 years ago
Apache-2.0
JVM:
2.13
2.12
2.11