Index of /L/Lully Agda

	Name	Last modified	Size	Description
	Parent Directory		-
	0a1bbf7c7ec9f79ed404c4c2257071b4ab285b3a.json	2025-06-30 10:00	222
	0b2462565df3a98f51d7c3b143a73e1712416820.json	2025-06-30 09:54	110
	04b5fe4a19dec08e01d82ddb0b57e66090642933.json	2025-06-30 10:11	364
	08c59ab8720bf0253e7c47210ff73cc0f3c543f1.json	2025-06-30 09:53	109
	3a489fdc57a61501f23df517e0b9200efa1a116f.json	2025-06-30 09:59	126
	6dc003ed71fabb87a1e57532cd861277dcbc3edb.json	2025-06-30 10:01	197
	78b12828a5843b3bee4787fe44e4f6f00799746a.json	2025-06-30 10:07	140
	95c12e7c6941f6b203b865ddc5e1fcba372c69ae.json	2025-06-30 09:50	163
	978503b5838391d9803043e48e9fe06b3e812a5b.json	2025-06-30 10:03	204
	a928c64cae4accd9d2d448b5ba21a71ea7b4c8d6.json	2025-06-30 10:11	350
	b5daf761248da80abda5485c9e3406fa873b71c1.json	2025-06-30 10:05	225
	cb318de17a7d009828ca2528c846f1f08b9c2038.json	2025-06-30 10:01	163
	fb687b2aca08c06217f5698de18c8a2092e9cfef.json	2025-06-30 10:09	166
	fb3735dd3251f0c2c2f9a89b05f5b59886cfe477.json	2025-06-30 10:00	161
	index.json	2025-06-30 10:12	912