GitHub - plaidfinch/GCBP: Gordon Complementary Bijection Principle

Name		Name	Last commit message	Last commit date
Latest commit History 287 Commits
agda		agda
reviews		reviews
talk		talk
.gitignore		.gitignore
Bijections.hs		Bijections.hs
BitsAndPieces.hs		BitsAndPieces.hs
GCBP-JFP.lhs		GCBP-JFP.lhs
GCBP-author-version.pdf		GCBP-author-version.pdf
GCBP-memo-new.hs		GCBP-memo-new.hs
GCBP-memo.hs		GCBP-memo.hs
GCBP-paper.bib		GCBP-paper.bib
GCBP-paper.lhs		GCBP-paper.lhs
GCBP.hs		GCBP.hs
GCBP_original.lhs		GCBP_original.lhs
Grid.hs		Grid.hs
KleisliM.hs		KleisliM.hs
Memo.hs		Memo.hs
PingPong.hs		PingPong.hs
Shake.hs		Shake.hs
Test.hs		Test.hs
acmart-pacmpl-template.tex		acmart-pacmpl-template.tex
acmart.cls		acmart.cls
amsfonts.sty		amsfonts.sty
bm.sty		bm.sty
build.sh		build.sh
dialogue.txt		dialogue.txt
jfp1.cls		jfp1.cls
mathptmx.sty		mathptmx.sty
proofs.txt		proofs.txt
revision.txt		revision.txt
sigplanconf-guide.pdf		sigplanconf-guide.pdf
sigplanconf-template.tex		sigplanconf-template.tex
sigplanconf.cls		sigplanconf.cls
stack.yaml		stack.yaml