Index of /~astump/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda2.6.0.1.v1.msi	2019-07-12 12:37	774M
	AgdaBundle_2.5.4.2.v4.msi	2018-12-11 08:21	820M
	robots.txt	2013-11-25 15:24	26