Index of /~nad/repos/parser-combinators.code/TotalRecognisers/Simple

	Name	Last modified	Size	Description
	Parent Directory		-
	Expression.agda	12-May-2011 16:12	1.5K
	ExpressiveStrength.agda	29-Mar-2011 13:47	2.8K
	AlternativeBackend.agda	27-Dec-2010 14:24	4.7K