git.iko.soy/Idris-dev
on master help sign in
Update base.ipkg
87e56feCliff Harvey
libs/base/base.ipkg+1−1
compare with master
unifiedsplit
@@ -24,7 +24,7 @@ modules = System,
24 Data.Vect, Data.HVect, Data.Vect.Quantifiers,
24 Data.Vect, Data.HVect, Data.Vect.Quantifiers,
25 Data.Floats, Data.Complex, Data.Heap, Data.Fun,
25 Data.Floats, Data.Complex, Data.Heap, Data.Fun,
26 Data.Rel, Data.Buffer, Data.Erased,
26 Data.Rel, Data.Buffer, Data.Erased,
27− Data.List, Data.Hash,
27+ Data.List, Data.Hash, Data.Matrix
28
28
29 Control.Isomorphism, Control.Isomorphism.Primitives,
29 Control.Isomorphism, Control.Isomorphism.Primitives,
30 Control.Monad.Identity,
30 Control.Monad.Identity,