agda会议38斯旺西
agda meeting 38 swansea (2024-05-16, Agda, 0KB, 下载0次)
尼克斯cfg
nixos cfg (2023-12-27, Agda, 0KB, 下载0次)
西蒙斯·托尼霍之镜2011，
Mirror of Simmons-Toninho 2011, (2019-02-15, Agda, 0KB, 下载0次)
抽象绑定树（抽象语法树加绑定器），作为Agda中的库
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda (2023-05-18, Agda, 340KB, 下载0次)