pruviloj.ipkg

package pruviloj

opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"

modules = Pruviloj

        , Pruviloj.Core

        , Pruviloj.Derive.DecEq
        , Pruviloj.Derive.Eliminators

        , Pruviloj.Disjoint
        , Pruviloj.Induction
        , Pruviloj.Injective

        , Pruviloj.Internals
        , Pruviloj.Internals.TyConInfo

        , Pruviloj.Renamers