packages feed

idris-0.9.18: libs/contrib/contrib.ipkg

package contrib

opts = "--nobasepkgs --total -i ../prelude -i ../base"
modules = Control.Algebra,
          Control.Algebra.Lattice, Control.Algebra.VectorSpace,
          Control.Algebra.NumericInstances,
          Control.Isomorphism.Primitives,
          Control.Partial,
          Control.WellFounded,
          Classes.Verified,
          Data.Fun, Data.Rel,
          Data.Hash, Data.Matrix,
          Data.Nat,
          Data.ZZ, Data.Sign,
          Data.BoundedList,
          Data.Heap,
          Data.SortedMap, Data.SortedSet,
          Data.CoList,

          Decidable.Decidable, Decidable.Order,

          Network.Cgi, Network.Socket,

          System.Concurrency.Process