提交 1533b542 编写于 作者: M Mohammad Hossein Mojtahedi

Merge pull request #467 from tcort/cool

Add "CoolAid: The Cool 2013 Reference Manual"
......@@ -37,6 +37,7 @@
* [COBOL](#cobol)
* [CoffeeScript](#coffeescript)
* [ColdFusion](#coldfusion)
* [Cool](#cool)
* [Coq](#coq)
* [D](#d)
* [Dart](#dart)
......@@ -526,6 +527,10 @@
* [Learn CF in a Week](http://learncfinaweek.com/)
###Cool
* [CoolAid: The Cool 2013 Reference Manual](http://www.cs.uwm.edu/~cs654/handouts/cool-manual.pdf) (PDF)
###Coq
* [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/)
* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/html/toc.html)
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册