Gordon Complementary Bijection Principle
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.
agda
reviews
talk
.gitignore
Bijections.hs
BitsAndPieces.hs
GCBP-author-version.pdf
GCBP-memo-new.hs
GCBP-memo.hs
GCBP-paper.bib
GCBP-paper.lhs
GCBP.hs
GCBP_original.lhs
Grid.hs
KleisliM.hs
Memo.hs
PingPong.hs
Shake.hs
Test.hs
acmart-pacmpl-template.tex
acmart.cls
build.sh
dialogue.txt
proofs.txt
revision.txt
sigplanconf-guide.pdf
sigplanconf-template.tex
sigplanconf.cls
stack.yaml