sir-wabbit/leibniz

Leibniz equivalence and Liskov substitutability library for Scala.

语言：Scala · GitHub 星标：39 · Fork：4

话题：dependent-types · equality · existential-types · gadt · leibniz · liskov-subsititution · liskov-substitution-principle · propositions-as-types

在 GitHub 上查看原仓库