Permalink

	Failed to load latest commit information.
	src	Updated the README/.cabal file	Aug 6, 2017
	.gitignore	Initial commit	Aug 5, 2017
	LICENSE	Added stack framework/code from before	Aug 5, 2017
	README.md	Updated the README/.cabal file	Aug 6, 2017
	Setup.hs	Added stack framework/code from before	Aug 5, 2017
	explanation.md	Added a missing half sentence	Aug 5, 2017
	higher-order-unification.cabal	Updated the README/.cabal file	Aug 6, 2017
	stack.yaml	Added stack framework/code from before	Aug 5, 2017