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