git.iko.soy/Idris-dev
on master help sign in
Remove Prelude/Complex.idr from base.ipkg
commit7dc4565ef02e8ed9eb816750876399839f5f632f authorMarkus Pfeiffer <markusp@mcs.st-andrews.ac.uk> dateWed 20 Nov 2013, 12:15 (13 years ago) parent4d70a61
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, Prelude.Functor, Prelude.Foldable,
9+ Prelude.Heap, Prelude.Functor, Prelude.Foldable,
1010 Prelude.Traversable, Prelude.Bits, Prelude.Stream,
1111
1212 Network.Cgi,