idris-0.9.10: libs/base/base.ipkg
package base
opts = "--nobasepkgs --total -i ../prelude"
modules = System,
Network.Cgi,
Debug.Trace,
System.Concurrency.Raw, System.Concurrency.Process,
Decidable.Decidable, Decidable.Order,
Uninhabited,
Providers,
Language.Reflection, Language.Reflection.Utils, Language.Reflection.Errors,
Data.Morphisms,
Data.Bits, Data.Mod2,
Data.ZZ, Data.Sign,
Data.SortedMap, Data.SortedSet, Data.BoundedList,
Data.Vect, Data.HVect, Data.Vect.Quantifiers,
Data.Floats, Data.Complex, Data.Heap,
Control.Monad.Identity,
Control.Monad.RWS,
Control.Monad.State, Control.Monad.Writer, Control.Monad.Reader,
Control.Category, Control.Arrow,
Control.Catchable, Control.IOExcept