Name		Name	Last commit message	Last commit date
OBT		OBT
RCforBX		RCforBX
Univalence		Univalence
agda		agda
categories @ 031602c		categories @ 031602c
diagrams		diagrams
fracGC		fracGC
fractionals		fractionals
haskell		haskell
latex		latex
mu-mu-tilde		mu-mu-tilde
pdfs		pdfs
popl13		popl13
rationals		rationals
rc13		rc13
references		references
slides		slides
summer13		summer13
survey		survey
twelf		twelf
.gitignore		.gitignore
.gitmodules		.gitmodules
.hgignore		.hgignore
CITATION.cff		CITATION.cff
Conway.agda		Conway.agda
Conway.hs		Conway.hs
Evaluator.agda		Evaluator.agda
F0.agda		F0.agda
F1.agda		F1.agda
F1a.agda		F1a.agda
F1b.agda		F1b.agda
F2.agda		F2.agda
F2a.agda		F2a.agda
GA.agda		GA.agda
HP.agda		HP.agda
LICENSE		LICENSE
Makefile		Makefile
Neg.hs		Neg.hs
Neg1.hs		Neg1.hs
OMakefile		OMakefile
OMakeroot		OMakeroot
P.agda		P.agda
Paths.agda		Paths.agda
Pi1.hs		Pi1.hs
PiG.agda		PiG.agda
Pin.agda		Pin.agda
PointedFrac.agda		PointedFrac.agda
PointedTypes.agda		PointedTypes.agda
README.md		README.md
Rat.agda		Rat.agda
Strategies.hs		Strategies.hs
StrategiesUntyped.hs		StrategiesUntyped.hs
TimeSpace.agda		TimeSpace.agda
Trees.hs		Trees.hs
cites.bib		cites.bib
f.tex		f.tex
negatives.tex		negatives.tex
p.lagda		p.lagda
p2.lagda		p2.lagda
pearl.lagda		pearl.lagda
ring.lagda		ring.lagda
ring.pdf		ring.pdf
roadmap.txt		roadmap.txt
sigplanconf.cls		sigplanconf.cls

Repository files navigation

===========================================================

pi-dual

Collaborative work on reversible computing and its relationship to Homotopy Type Theory.

About

Collaborative work on reversible computing

BSD-2-Clause license

25 stars

8 watching

Report repository

Releases

Packages

Used by

Contributors

Languages