An Agda formalisation of the theory of directed containers
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Examples
Comonad2DContainer.agda
Comonad2DContainerHelper.agda
Comonad2DContainerHelper2.agda
Comonad2DContainerHelper3.agda
ComonadMorph2DContainerMorph.agda
ComonadMorph2DContainerMorphHelper.agda
Comonads.agda
Containers.agda
DContainerExt.agda
DContainers.agda
DirectedContainerOperations.agda
FullyFaithfulLem1.agda
FullyFaithfulLem2.agda
Functors.agda
InterpretQuoteLem1.agda
InterpretQuoteLem2.agda
README
README.agda
StrictDirectedContainer.agda
Utils.agda