Add Control.Partial to contrib.ipkg
commit2c0d83a86afccd137d3943ecca71e8ba19d8487c
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 18 Apr 2015, 18:29 (12 years ago)
parent6d74730
libs/contrib/contrib.ipkg+2−1
@@ -3,9 +3,10 @@ package contrib
33opts = "--nobasepkgs --total -i ../prelude -i ../base"
44modules = Control.Algebra,
55 Control.Isomorphism.Primitives,
6+ Control.Partial,
67 Control.WellFounded,
78 Classes.Verified,
8− Data.Fun, Data.Rel,
9+ Data.Fun, Data.Rel,
910 Data.Hash, Data.Matrix,
1011 Data.Nat,
1112 Data.ZZ, Data.Sign,