All Categories → No Category → witnesses

Top 1 witnesses open source projects

Leibniz equivalence and Liskov substitutability library for Scala.

✭ 35

scala java equality gadt variance witnesses liskov-substitution-principle existential-types liskov-subsititution subtyping leibniz propositions-as-types

1-1 of 1 witnesses projects