用于常规编程的Agda基本库，
A base library for Agda for regular programming, (2023-07-28, Agda, 0KB, 下载0次)
在Agda中执行泛型编程的库，
A library for doing generic programming in Agda, (2021-01-27, Agda, 0KB, 下载0次)
Agda编程库，
Programming library for Agda, (2022-01-14, Agda, 0KB, 下载0次)