Leibniz equivalence and Liskov substitutability library for Scala.
- gadt
- liskov-substitution-principle
- variance
- leibniz
- liskov-subsititution
- equality
- witnesses
- propositions-as-types
- existential-types
- scala
- dependent-types
- subtyping
Scala versions:
2.12
Found 1 artifact