setoid

There are 3 repositories under setoid topic.

  • danilkolikov/setoids

    Idris proofs for extensional equalities

    Language:Idris7211

  • 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:Haskell6301

  • eadm/rational-setoid

    Setoid for rational numbers written in Idris

    Language:Idris1200