GitHub - wouter-swierstra/predicate-transformers

Name		Name	Last commit message	Last commit date
Latest commit History 144 Commits
src		src
talk		talk
.gitignore		.gitignore
ACM-Reference-Format.bst		ACM-Reference-Format.bst
Makefile		Makefile
Prelude.agda		Prelude.agda
acmart.cls		acmart.cls
artifacts_evaluated_functional.jpg		artifacts_evaluated_functional.jpg
ccs.tex		ccs.tex
handlers.bib		handlers.bib
handlers.fmt		handlers.fmt
handlers.lagda		handlers.lagda
preamble.tex		preamble.tex
reviews.txt		reviews.txt