1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
package soat
authors = "Greg Brown"
sourcedir = "src"
modules = Data.Morphism.Indexed
, Data.Setoid
, Data.Setoid.Either
, Data.Setoid.Indexed
, Soat.Data.Product
, Soat.Data.Sublist
, Soat.FirstOrder.Algebra
, Soat.FirstOrder.Algebra.Coproduct
, Soat.FirstOrder.Algebra.FreeExtension
, Soat.FirstOrder.Signature
, Soat.FirstOrder.Term
, Soat.SecondOrder.Algebra
, Soat.SecondOrder.Algebra.Lift
, Soat.SecondOrder.Signature
, Soat.SecondOrder.Signature.Lift
, Syntax.PreorderReasoning.Setoid
|
