blob: 536e3e61ba040c07f789095c1ca9a6e5a423c29f (
plain)
1
2
3
4
5
6
7
8
9
10
|
||| A setoid is a type equipped with an equivalence relation
module Data.Setoid
import public Data.Setoid.Definition
import public Data.Setoid.Either
import public Data.Setoid.Pair
import public Data.Setoid.Vect
import public Data.Setoid.List
import public Syntax.PreorderReasoning.Setoid
|
