git.iko.soy/Idris-dev
on bf4e535 help sign in
Idris-dev/libs/base/base.ipkg
31 lines 778 B history raw
1package base
3opts = "--nobasepkgs --total -i ../prelude"
4modules = System,
6 Debug.Error, Debug.Trace,
8 System.Info,
10 Language.Reflection.Utils,
12 Syntax.PreorderReasoning,
14 Data.Morphisms,
15 Data.Bits, Data.Mod2,
16 Data.Fin, Data.Vect, Data.VectType,
17 Data.HVect, Data.Vect.Quantifiers,
18 Data.Floats, Data.Complex,
19 Data.Erased, Data.List,
20 Data.So,
22 Control.Isomorphism,
23 Control.Monad.Identity,
24 Control.Monad.RWS,
25 Control.Monad.Trans,
26 Control.Monad.State, Control.Monad.Writer, Control.Monad.Reader,
27 Control.Category, Control.Arrow,
28 Control.Catchable, Control.IOExcept,
30 System.Concurrency.Raw