Name		Name	Last commit message	Last commit date
Latest commit History 116 Commits
test		test
.gitignore		.gitignore
.project		.project
README.md		README.md
ast.rkt		ast.rkt
cesk.rkt		cesk.rkt
general.rkt		general.rkt
graveyard.txt		graveyard.txt
lattice.rkt		lattice.rkt
mcesk.rkt		mcesk.rkt
mceval.pdf		mceval.pdf
memo.rkt		memo.rkt
mnumbers.txt		mnumbers.txt
numbers.txt		numbers.txt
par.rkt		par.rkt
phdoutput.rkt		phdoutput.rkt
primitives.rkt		primitives.rkt
purity-test.rkt		purity-test.rkt
purity.rkt		purity.rkt
test.rkt		test.rkt

Repository files navigation

Purity

About

Purity analysis for higher-order, side-effecting programs

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages