编程语言理论完全笔记

编程语言理论是计算机科学中一个非常重要的分支。每一个有追求的程序员都应该在这个领域投入足够的时间，这不仅是有趣的，更是有益的。

学习资料

1. 软件基础(idris)
2. 编程语言 - UW