git.iko.soy/Idris-dev
on master help sign in
Add missing comma in base.ipkg
aa8aefdBenjamin Saunders
lib/base.ipkg+1−1
compare with master
unifiedsplit
@@ -7,7 +7,7 @@ modules = Builtins, Prelude, IO, System,
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.Modular,
9 Prelude.Heap, Prelude.Complex, Prelude.Functor, Prelude.Modular,
10− Prelude.Bits
10+ Prelude.Bits,
11
11
12 Network.Cgi,
12 Network.Cgi,
13 Debug.Trace,
13 Debug.Trace,