setoid

There are 0 repository under setoid topic.

• danilkolikov / setoids

  Idris proofs for extensional equalities

  idrissetoidproofs
  Language:Idris 7

• 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.

  haskellsetoidset-theory
  Language:Haskell 6

• eadm / rational-setoid

  Setoid for rational numbers written in Idris

  idrisproofssetoid
  Language:Idris 1