_CoqProject.itree

-Q theories ITree

theories/Simple.v
theories/ITree.v
theories/ITreeFacts.v
theories/Axioms.v

theories/Basics/Utils.v
theories/Basics/Basics.v
theories/Basics/HeterogeneousRelations.v
theories/Basics/Category.v
theories/Basics/CategoryOps.v
theories/Basics/CategoryTheory.v
theories/Basics/CategoryFacts.v
theories/Basics/CategorySub.v
theories/Basics/CategoryFunctor.v
theories/Basics/CategoryRelations.v
theories/Basics/Monad.v
theories/Basics/MonadProp.v
theories/Basics/MonadState.v
theories/Basics/CategoryKleisli.v
theories/Basics/CategoryKleisliFacts.v
theories/Basics/Function.v
theories/Basics/FunctionFacts.v

theories/Core/ITreeDefinition.v
theories/Core/KTree.v
theories/Core/KTreeFacts.v
theories/Core/Subevent.v
theories/Core/ITreeMonad.v

theories/Eq.v
theories/Eq/Paco2.v
theories/Eq/Shallow.v
theories/Eq/Eqit.v
theories/Eq/UpToTaus.v
theories/Eq/SimUpToTaus.v
theories/Eq/EqAxiom.v
theories/Eq/EuttExtras.v
theories/Eq/Rutt.v
theories/Eq/RuttFacts.v

theories/Props/Leaf.v
theories/Props/Finite.v
theories/Props/HasPost.v
theories/Props/Infinite.v
theories/Props/Cofinite.v
theories/Props/EuttNoRet.v

theories/Indexed/Sum.v
theories/Indexed/Relation.v
theories/Indexed/Function.v
theories/Indexed/FunctionFacts.v

theories/Interp/Interp.v
theories/Interp/TranslateFacts.v
theories/Interp/InterpFacts.v
theories/Interp/Handler.v
theories/Interp/HandlerFacts.v
theories/Interp/Recursion.v
theories/Interp/RecursionFacts.v
theories/Interp/Traces.v

theories/Events.v
theories/Events/State.v
theories/Events/StateFacts.v
theories/Events/Reader.v
theories/Events/Writer.v
theories/Events/Exception.v
theories/Events/ExceptionFacts.v
theories/Events/Nondeterminism.v
theories/Events/Map.v
theories/Events/MapDefault.v
theories/Events/MapDefaultFacts.v
theories/Events/Concurrency.v
theories/Events/Dependent.v
theories/Events/FailFacts.v