SAS semantics-of-programming-languages 返回
项目作者： lagenorhynque

项目描述 ：
Study notes on semantics of programming languages & theorem proving
高级语言： Idris
项目地址: git://github.com/lagenorhynque/semantics-of-programming-languages.git