Permalink

	Failed to load latest commit information.
	LICENSE	Initial commit	Jul 28, 2014
	README.md	Initial commit	Jul 28, 2014
	miniKanren.xtm	adding miniKanren over microKanren in extempore	Jul 28, 2014