Permalink

Type	Name	Latest commit message	Commit time
	Failed to load latest commit information.
	Parser-Combinators @ f3acbfb	update parser-combinators to version using file-vector with create mo…	Mar 15, 2015
	.gitmodules	add parser-combinators submodule	Oct 14, 2014
	LICENSE	Rename LICENSE.md to LICENSE	Aug 29, 2014
	Makefile	tidy up debug macro	Feb 19, 2015
	README.md	Update README.md	Apr 26, 2017
	clors.cpp	put back debug trace	Apr 17, 2016
	example.cl	put back debug trace	Apr 17, 2016
	heyting.cl	prove distributivity of a heyting algebra	Jul 23, 2014