git.iko.soy/Idris-dev
on aa7262e help sign in
Idris-dev/lib/base.ipkg
20 lines 602 B history raw
1package base
3opts = "--noprelude --total"
4modules = Builtins, Prelude, IO, System,
6 Prelude.Algebra, Prelude.Cast, Prelude.Nat, Prelude.Fin,
7 Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,
8 Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars,
9 Prelude.Heap, Prelude.Complex, Prelude.Functor,
11 Network.Cgi,
13 System.Concurrency.Raw, System.Concurrency.Process,
15 Language.Reflection,
17 Data.Morphisms,
19 Control.Monad.Identity, Control.Monad.State, Control.Category,
20 Control.Arrow