Topic: "setoid"
danilkolikov/setoids
Idris proofs for extensional equalities
Language: Idris - Size: 14.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 1
ptek/skeletal-set
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.
Language: Haskell - Size: 31.3 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 1
eadm/rational-setoid
Setoid for rational numbers written in Idris
Language: Idris - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
