Index of /~astump/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda2.6.0.1.v1.msi	2019-07-12 12:37	774M
	Agda_Bundle_2.6.2.2.v4.msi	2022-11-22 08:31	1.6G
	robots.txt	2013-11-25 15:24	26