Permalink

	Failed to load latest commit information.
	curry-howard-incomplete.hs	small cleanup	Oct 3, 2014
	curry-howard.hs	small cleanup	Oct 3, 2014
	no-true-scottsman.txt	read to go	Oct 2, 2014