API Doc
Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.12 (1)
Platforms
JVM (1)
Topics
dependent-types (1)
equality (1)
existential-types (1)
gadt (1)
leibniz (1)
liskov-subsititution (1)
liskov-substitution-principle (1)
propositions-as-types (1)
scala (1)
subtyping (1)
variance (1)
witnesses (1)
sir-wabbit/leibniz
0.10.0
Leibniz equivalence and Liskov substitutability library for Scala.
Scala versions:
2.12
gadt
variance
propositions-as-types
dependent-types
witnesses
subtyping
existential-types
liskov-subsititution
scala
leibniz
equality
liskov-substitution-principle
36
0
1
(current)
