Index of /~astump/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda2.4.2.2_Suite.msi	2014-12-02 15:03	293M
	Agda2.5.2.msi	2017-07-31 08:56	558M
	AgdaBundle_2.5.1.1.v..>	2016-12-14 08:06	552M
	robots.txt	2013-11-25 15:24	26