API Doc
Awesome Scala
Login
2 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.12 (2)
Platforms
JVM (2)
Scala.js 0.6 (1)
Topics
dependent-types (1)
equality (1)
existential-types (1)
gadt (1)
leibniz (1)
liskov-subsititution (1)
liskov-substitution-principle (1)
newtype (1)
propositions-as-types (1)
scala (2)
subtyping (1)
variance (1)
witnesses (1)
sir-wabbit/newtypes
0.3.0
Scala versions:
2.12
Scala.js versions:
0.6
newtype
scala
115
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)
