leibniz topic
List
leibniz
repositories
leibniz
36
Stars
4
Forks
Watchers
Leibniz equivalence and Liskov substitutability library for Scala.
hobwekiva
dependent-types
equality
existential-types
gadt