contrib.ipkg

package contrib

opts = "--nobasepkgs --total -i ../prelude -i ../base"
modules = Control.Algebra,
          Control.Isomorphism.Primitives,
          Classes.Verified,
          Data.Fun, Data.Rel, Data.Buffer,
          Data.Hash, Data.Matrix,
          Data.ZZ, Data.Sign,
          Data.BoundedList,
          Data.Heap,
          Data.SortedMap, Data.SortedSet,

          Decidable.Decidable, Decidable.Order,

          Network.Cgi, Network.Socket,

          System.Concurrency.Process