git.iko.soy/Idris-dev
on master help sign in
Add Prelude.Function to module list in base.ipkg
11d1aa3Edwin Brady
lib/base.ipkg+1−1
compare with master
unifiedsplit
@@ -6,7 +6,7 @@ modules = Builtins, Prelude, IO, System,
6 Prelude.Algebra, Prelude.Cast, Prelude.Nat, Prelude.Fin,
6 Prelude.Algebra, Prelude.Cast, Prelude.Nat, Prelude.Fin,
7 Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,
7 Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,
8 Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars,
8 Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars,
9− Prelude.Heap, Prelude.Complex,
9+ Prelude.Heap, Prelude.Complex, Prelude.Functor,
10
10
11 Network.Cgi,
11 Network.Cgi,
12
12