Agda中的伴随代码，用于“Epigram:Dependent Types的实用编程”论文。，Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper., (2018-06-14, Agda, 0KB, 下载0次)