Index of /~hy84coky/agda-stuff/agda-intro

	Name	Last modified	Description

	Parent Directory
	Agda.Primitive.html	11-Apr-2024 13:25
	Agda.css	11-Apr-2024 13:25
	Everything.html	11-Apr-2024 13:25
	Intro.html	11-Apr-2024 13:25
	Intro.md	11-Apr-2024 13:25

Apache/2.4.62 (Debian) Server at wwwcip.informatik.uni-erlangen.de Port 443