soat.ipkg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package soat
authors = "Greg Brown"
sourcedir = "src"

depends = setoid

modules = Data.List.Sublist
        , Data.Product
        , Data.Setoid.Product
        , Soat.FirstOrder.Algebra
        , Soat.FirstOrder.Algebra.Coproduct
        , Soat.FirstOrder.Signature
        , Soat.FirstOrder.Term
        , Soat.SecondOrder.Algebra
        , Soat.SecondOrder.Algebra.Lift
        , Soat.SecondOrder.Algebra.Lift.Initial
        , Soat.SecondOrder.Signature
        , Soat.SecondOrder.Signature.Lift