行业智能 programming-language-foundations-in-agda 返回
项目作者： seanomlor

项目描述 ：
Programming Language Foundations in Agda by Philip Wadler and Wen Kokke
高级语言： Agda
项目地址: git://github.com/seanomlor/programming-language-foundations-in-agda.git