GitHub - danelahman/Directed-Containers: An Agda formalisation of the theory of directed containers

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
Examples		Examples
Comonad2DContainer.agda		Comonad2DContainer.agda
Comonad2DContainerHelper.agda		Comonad2DContainerHelper.agda
Comonad2DContainerHelper2.agda		Comonad2DContainerHelper2.agda
Comonad2DContainerHelper3.agda		Comonad2DContainerHelper3.agda
ComonadMorph2DContainerMorph.agda		ComonadMorph2DContainerMorph.agda
ComonadMorph2DContainerMorphHelper.agda		ComonadMorph2DContainerMorphHelper.agda
Comonads.agda		Comonads.agda
Containers.agda		Containers.agda
DContainerExt.agda		DContainerExt.agda
DContainers.agda		DContainers.agda
DirectedContainerOperations.agda		DirectedContainerOperations.agda
FullyFaithfulLem1.agda		FullyFaithfulLem1.agda
FullyFaithfulLem2.agda		FullyFaithfulLem2.agda
Functors.agda		Functors.agda
InterpretQuoteLem1.agda		InterpretQuoteLem1.agda
InterpretQuoteLem2.agda		InterpretQuoteLem2.agda
LICENSE		LICENSE
README		README
README.agda		README.agda
StrictDirectedContainer.agda		StrictDirectedContainer.agda
Utils.agda		Utils.agda