Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
2D
Data/SumProd
Obsolete
OldUnivalence
PiWithLevels
diagrams
tex
2DTypes.agda
CPermCat.agda
Circuits.agda
ConcretePermutation.agda
ConcretePermutationProperties.agda
Contents.txt
DivMod23.agda
DivModUtils.agda
EnumEquiv.agda
Equiv.agda
EquivEquiv.agda
ExploringCNot.lagda
FinEquivCat.agda
FinEquivEquivPlus.agda
FinEquivEquivPlusTimes.agda
FinEquivEquivTimes.agda
FinEquivPlusTimes.agda
FinEquivTypeEquiv.agda
FinNatLemmas.agda
FinVec.agda
FiniteFunctions.agda
FiniteType.agda
GPerm.agda
Groupoid.agda
IMAG0342.jpg
LeftCancellation.agda
LeqLemmas.agda
Makefile
Normalize.agda
PathLemmas.agda
Permutation.agda
PermutationProperties.agda
Pi0Cat.agda
Pi0Examples.agda
Pi0Semiring.agda
Pi1Cat.agda
Pi1Examples.agda
PiEquiv.agda
PiIter.agda
PiLevel0.agda
PiLevel1.agda
PiLevelm2.agda
PiPointed.agda
PiTracedLevel0.agda
PiU.agda
Pifextensional.agda
Pim2Cat.agda
Proofs.agda
RepresPerm.agda
SEquivSCPermEquiv.agda
SetoidEquiv.agda
Story.agda
SubstLemmas.agda
Swaps.agda
TheSame.agda
TypeEquiv.agda
TypeEquivCat.agda
TypeEquivEquiv.agda
Univalence.agda
VecHelpers.agda
VectorLemmas.agda
cct.lagda
cites.bib
dependency.gv
diagrams.sty
esop-proof.txt
esop-proof2.txt
esop-reply.txt
esop-submission.lagda
esop.lagda
esop2.lagda
esop_slides.lagda
esop_slides.pdf
llncs.cls
outline.tex
p.lagda
p.pdf
perm.tex
permutations.tex
popl.lagda
popl.pdf
response.txt
talk.lagda
talk.pdf
You can’t perform that action at this time.