#
equality
Here are 4 public repositories matching this topic...
Leibniz equivalence and Liskov substitutability library for Scala.
dependent-types
scala
equality
gadt
variance
witnesses
liskov-substitution-principle
existential-types
liskov-subsititution
subtyping
leibniz
propositions-as-types
-
Updated
Mar 28, 2022 - Scala
Type safe equality for Scala 3
-
Updated
Jul 20, 2023 - Scala
Add missing CanEqual typeclass instances to Scala 3
-
Updated
Oct 11, 2021 - Scala
Improve this page
Add a description, image, and links to the equality topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the equality topic, visit your repo's landing page and select "manage topics."