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