Index of /~asai/papers/olivierfest2025/code/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	all.agda	2025-05-29 15:19	63
	algebraic2.agda	2025-05-15 12:39	11K
	algebraic.agda	2025-05-15 12:34	11K