#
setoid
Here are 4 public repositories matching this topic...
A Haskell implementation of a skeletal set - a set equipped with an equivalence relation which is usually different from equality. This makes it more strict regarding membership of elements than a set.
-
Updated
Apr 26, 2018 - Haskell
Lambek theorem for setoids with universe levels. Use Church encoding justified by adjoint functor theorem.
-
Updated
Jun 29, 2026 - Agda
Add this topic to your repo
To associate your repository with the setoid topic, visit your repo's landing page and select "manage topics."