2DTypes

Collaborative work on reversible computing and its relationship to Homotopy Type Theory. Drafts are available in releases.

Name		Name	Last commit message	Last commit date
Latest commit History 2,090 Commits
.github/workflows		.github/workflows
2D		2D
FW		FW
HoTT-Agda @ cf3fca0		HoTT-Agda @ cf3fca0
PermMonad		PermMonad
Pi		Pi
Pi2		Pi2
PiFin+		PiFin+
PiFin		PiFin
PiS1		PiS1
Univ		Univ
agda-stdlib @ db16080		agda-stdlib @ db16080
basic-hott @ 4efa85f		basic-hott @ 4efa85f
categories @ c7ebe1d		categories @ c7ebe1d
cubical @ 6dd5b72		cubical @ 6dd5b72
scratch		scratch
slides		slides
.agda-lib		.agda-lib
.dir-locals.el		.dir-locals.el
.gitignore		.gitignore
.gitmodules		.gitmodules
.stignore		.stignore
.travis.yml.disabled		.travis.yml.disabled
2dtypes.bib		2dtypes.bib
2dtypesZot.bib		2dtypesZot.bib
A.hs		A.hs
AM.hs		AM.hs
AM2.hs		AM2.hs
Action.agda		Action.agda
AutGroup.agda		AutGroup.agda
B.agda		B.agda
B2.agda		B2.agda
B5.agda		B5.agda
Comonad.agda		Comonad.agda
DPi.agda		DPi.agda
Equiv.agda		Equiv.agda
EquivEquiv.agda		EquivEquiv.agda
FW.agda		FW.agda
GroupAction.agda		GroupAction.agda
Makefile		Makefile
Makefile.fractypes		Makefile.fractypes
Makefile.upi		Makefile.upi
Musings.agda		Musings.agda
Perm.agda		Perm.agda
Pi.agda		Pi.agda
Pi1.agda		Pi1.agda
R.agda		R.agda
R2.agda		R2.agda
R3.agda		R3.agda
README.md		README.md
RF.agda		RF.agda
RF2.agda		RF2.agda
Rational+.agda		Rational+.agda
Rational.agda		Rational.agda
TruncationExamples.agda		TruncationExamples.agda
TypeEquiv.agda		TypeEquiv.agda
Types'.agda		Types'.agda
Types.agda		Types.agda
Uni-fib.agda		Uni-fib.agda
acmart.cls		acmart.cls
agda.sty		agda.sty
appendix.lagda		appendix.lagda
bors.toml		bors.toml
cc-by.pdf		cc-by.pdf
cites.bib		cites.bib
entcs.bst		entcs.bst
entcs.cls		entcs.cls
entcsmacro.sty		entcsmacro.sty
frac.lagda		frac.lagda
fractypes.lagda		fractypes.lagda
groupoid.lagda		groupoid.lagda
limitations.lagda		limitations.lagda
lipics-logo-bw.pdf		lipics-logo-bw.pdf
lipics-v2016-utf8x.cls		lipics-v2016-utf8x.cls
lipics-v2016.cls		lipics-v2016.cls
opsem.lagda		opsem.lagda
outline.txt		outline.txt
pibackground.lagda		pibackground.lagda
pifrac.lagda		pifrac.lagda
popl.lagda		popl.lagda
postprocess-latex.pl		postprocess-latex.pl
prentcsmacro.sty		prentcsmacro.sty
qtree.sty		qtree.sty
sigplanconf.cls		sigplanconf.cls
typespp.tex		typespp.tex
upi.lagda		upi.lagda
upi.old.tex		upi.old.tex

vikraman/2DTypes

Folders and files

Latest commit

History