git.iko.soy/Idris-dev
on master help sign in
Added Data.FunN and Data.Rel to base.ipkg
9150e95Timo Petteri Sinnemäki
libs/base/base.ipkg+2−1
compare with master
unifiedsplit
@@ -23,7 +23,8 @@ modules = System,
23 Data.ZZ, Data.Sign,
23 Data.ZZ, Data.Sign,
24 Data.SortedMap, Data.SortedSet, Data.BoundedList,
24 Data.SortedMap, Data.SortedSet, Data.BoundedList,
25 Data.Vect, Data.HVect, Data.Vect.Quantifiers,
25 Data.Vect, Data.HVect, Data.Vect.Quantifiers,
26− Data.Floats, Data.Complex, Data.Heap,
26+ Data.Floats, Data.Complex, Data.Heap, Data.FunN,
27+ Data.Rel
27
28
28 Control.Isomorphism,
29 Control.Isomorphism,
29 Control.Monad.Identity,
30 Control.Monad.Identity,