git.iko.soy/Idris-dev
on master help sign in
Remove Prelude/Complex.idr from base.ipkg
7dc4565Markus Pfeiffer
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, Prelude.Functor, Prelude.Foldable,
9+ Prelude.Heap, Prelude.Functor, Prelude.Foldable,
10 Prelude.Traversable, Prelude.Bits, Prelude.Stream,
10 Prelude.Traversable, Prelude.Bits, Prelude.Stream,
11
11
12 Network.Cgi,
12 Network.Cgi,