Permalink

	Failed to load latest commit information.
	LICENSE	Adds license file	Apr 30, 2014
	README.md	Change names in README	Oct 2, 2017
	game.idr	Replace lteSuccR and lteTrans with builtin versions	Nov 28, 2017