git.iko.soy/Idris-dev
on master help sign in
Add Control.Partial to contrib.ipkg
2c0d83aDavid Raymond Christiansen
libs/contrib/contrib.ipkg+2−1
compare with master
unifiedsplit
@@ -3,9 +3,10 @@ package contrib
3opts = "--nobasepkgs --total -i ../prelude -i ../base"
3opts = "--nobasepkgs --total -i ../prelude -i ../base"
4modules = Control.Algebra,
4modules = Control.Algebra,
5 Control.Isomorphism.Primitives,
5 Control.Isomorphism.Primitives,
6+ Control.Partial,
6 Control.WellFounded,
7 Control.WellFounded,
7 Classes.Verified,
8 Classes.Verified,
8− Data.Fun, Data.Rel,
9+ Data.Fun, Data.Rel,
9 Data.Hash, Data.Matrix,
10 Data.Hash, Data.Matrix,
10 Data.Nat,
11 Data.Nat,
11 Data.ZZ, Data.Sign,
12 Data.ZZ, Data.Sign,