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