_CoqProject

-R src Hask
src/Control/Applicative.v
src/Control/Category.v
src/Control/Comonad.v
src/Control/Compose.v
src/Control/Impl.v
src/Control/Lens.v
src/Control/Monad.v
src/Control/Monad/Base.v
src/Control/Monad/Cont.v
src/Control/Monad/Free.v
src/Control/Monad/Freer.v
src/Control/Monad/Indexed.v
src/Control/Monad/Morph.v
src/Control/Monad/State.v
src/Control/Monad/Trans/Class.v
src/Control/Monad/Trans/Control.v
src/Control/Monad/Trans/Either.v
src/Control/Monad/Trans/Free.v
src/Control/Monad/Trans/LogicT.v
src/Control/Monad/Trans/State.v
src/Control/Monad/Trans/FiatState.v
src/Control/Monad/Trans/Reader.v
src/Crush.v
src/Data/Either.v
src/Data/Eq.v
src/Data/Functor.v
src/Data/Functor/Const.v
src/Data/Functor/Container.v
src/Data/Functor/Contravariant.v
src/Data/Functor/Identity.v
src/Data/Functor/Kan.v
src/Data/Functor/Yoneda.v
src/Data/IntMap.v
src/Data/IntSet.v
src/Data/List.v
src/Data/List/Church.v
src/Data/Maybe.v
src/Data/Monoid.v
src/Data/NonEmpty.v
src/Data/Tuple.v
src/Data/Vector.v
src/Extract.v
src/Haskell.v
src/Ltac.v
src/Prelude.v