knowledge/programming-books
1
0
Fork 0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-11-17 17:45:09 +00:00
Code Issues Releases Activity

Merge pull request #282 from philnguyen/master

Browse Source 
Add Coq and Agda books
This commit is contained in:
vhf / victor felder 2013-10-27 10:21:55 -07:00
commit 55d9b4dcf3
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
free-programming-books.md
View File

@ -22,6 +22,7 @@
* [MOOC](#mooc) * [MOOC](#mooc)
* [Professional Development](#professional-development) * [Professional Development](#professional-development)
* [Ada](#ada) * [Ada](#ada)
* [Agda](#agda)
* [Android](#android) * [Android](#android)
* [APL](#apl) * [APL](#apl)
* [Autotools](#autotools) * [Autotools](#autotools)
@ -33,6 +34,7 @@
* [Clojure](#clojure) * [Clojure](#clojure)
* [CoffeeScript](#coffeescript) * [CoffeeScript](#coffeescript)
* [ColdFusion](#coldfusion) * [ColdFusion](#coldfusion)
* [Coq](#coq)
* [D](#d) * [D](#d)
* [Dart](#dart) * [Dart](#dart)
* [DTrace](#dtrace) * [DTrace](#dtrace)
@ -348,6 +350,10 @@
* [Ada for Software Engineers](http://pnyf.inf.elte.hu/kto/oktatas/ada/books/ase.pdf) (PDF) * [Ada for Software Engineers](http://pnyf.inf.elte.hu/kto/oktatas/ada/books/ase.pdf) (PDF)
###Agda
* [Agda Tutorial](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html)
###Android ###Android
* [Google Android Developer Training](https://developer.android.com/training/index.html) * [Google Android Developer Training](https://developer.android.com/training/index.html)
* [Coreservlets Android Programming Tutorial](http://www.coreservlets.com/android-tutorial/) * [Coreservlets Android Programming Tutorial](http://www.coreservlets.com/android-tutorial/)
@ -438,6 +444,11 @@
* [Learn CF in a Week](http://learncfinaweek.com/) * [Learn CF in a Week](http://learncfinaweek.com/)
###Coq
* [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/)
* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/html/toc.html)
###D ###D
* [Programming in D](http://ddili.org/ders/d.en/) * [Programming in D](http://ddili.org/ders/d.en/)