{-# LANGUAGE NoImplicitPrelude #-} -- | -- Module : OAlg.Limes.Cone -- Description : cones over diagrams -- Copyright : (c) Erich Gut -- License : BSD3 -- Maintainer : zerich.gut@gmail.com -- -- cones over diagrams. module OAlg.Limes.Cone ( module Def , module Elg ) where import OAlg.Limes.Cone.Definition as Def import OAlg.Limes.Cone.EligibleFactor as Elg