Permalink

	Failed to load latest commit information.
	DB	Add proof generation logic	May 12, 2014
	Form	Update yesod version	Aug 31, 2015
	Handler	Update yesod version	Aug 31, 2015
	Import	Update yesod version	Aug 31, 2015
	Logic	Update yesod version	Aug 31, 2015
	Model	Update yesod version	Aug 31, 2015
	Presenter	Update yesod version	Aug 31, 2015
	Settings	Update yesod version	Aug 31, 2015
	app	Update yesod version	Aug 31, 2015
	config	Running tests	Sep 1, 2015
	deploy	Initial commit	May 4, 2014
	messages	Initial commit	May 4, 2014
	static	Fix condensation of prefixed formulae	Dec 29, 2014
	templates	Update yesod version	Aug 31, 2015
	test	Running tests	Sep 1, 2015
	.ghci	Initial commit	May 4, 2014
	.gitignore	Update yesod version	Aug 31, 2015
	Application.hs	Update yesod version	Aug 31, 2015
	DB.hs	Running tests	Sep 1, 2015
	Dockerfile	Running tests	Sep 1, 2015
	Explore.hs	Update yesod version	Aug 31, 2015
	Form.hs	Extract JS; fix theorem creation	Jun 16, 2014
	Foundation.hs	Update yesod version	Aug 31, 2015
	Handler.hs	Update yesod version	Aug 31, 2015
	Import.hs	Update yesod version	Aug 31, 2015
	LICENSE.md	Create LICENSE.md	Aug 1, 2016
	Logic.hs	Update yesod version	Aug 31, 2015
	Model.hs	Update yesod version	Aug 31, 2015
	Models.hs	Track revisions and create on object create	Jun 1, 2014
	README.md	Add notes about Servant rewrite	Jun 4, 2016
	Settings.hs	Update yesod version	Aug 31, 2015
	Util.hs	Add proof generation logic	May 12, 2014
	build	Use the right system call in build script	Dec 29, 2014
	devel.hs	Fix hlint recommendations	Dec 9, 2014
	docker-compose.yml	Running tests	Sep 1, 2015
	pi-base.cabal	Running tests	Sep 1, 2015
	stack.yaml	Running tests	Sep 1, 2015