sir-wabbit / leibniz 0.10.0

MIT License GitHub

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

Latest version

[![leibniz Scala version support](https://index-dev.scala-lang.org/sir-wabbit/leibniz/leibniz/latest.svg)](https://index-dev.scala-lang.org/sir-wabbit/leibniz/leibniz)

JVM badge

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