mirror of
https://github.com/EbookFoundation/free-programming-books.git
synced 2026-05-31 20:55:47 +00:00
Add "CoolAid: The Cool 2013 Reference Manual"
Describes the programming language Cool: the Classroom Object-Oriented Language.
This commit is contained in:
parent
f2d272c86e
commit
ced36ebea0
1 changed files with 5 additions and 0 deletions
|
|
@ -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)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue