git.iko.soy/Idris-dev
on master help sign in
Add Prelude.Function to module list in base.ipkg
commit11d1aa38431d98f946418c701e3a1cbc47a3db3a authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 21 Nov 2012, 00:30 (14 years ago) parent7ee208c
1 file changed+1−1
compare with master
unifiedsplit
lib/base.ipkg+1−1
lib/base.ipkg+1−1
@@ -6,7 +6,7 @@ modules = Builtins, Prelude, IO, System,
66 Prelude.Algebra, Prelude.Cast, Prelude.Nat, Prelude.Fin,
77 Prelude.List, Prelude.Maybe, Prelude.Monad, Prelude.Applicative,
88 Prelude.Either, Prelude.Vect, Prelude.Strings, Prelude.Chars,
9− Prelude.Heap, Prelude.Complex,
9+ Prelude.Heap, Prelude.Complex, Prelude.Functor,
1010
1111 Network.Cgi,
1212