Permalink

	Failed to load latest commit information.
	.gitignore	Add a sketch of how I want this to work	Sep 28, 2015
	README.md	Add a sketch of how I want this to work	Sep 28, 2015
	classical-realizability.pdf	Sketched out the computation system plus a few derived forms	Sep 28, 2015
	classical-realizability.tex	Sketched out the computation system plus a few derived forms	Sep 28, 2015