From 6621c59f7f1ed332d677de28513e403d34390ab0 Mon Sep 17 00:00:00 2001 From: Phil Nguyen Date: Sun, 27 Oct 2013 13:16:14 -0400 Subject: [PATCH 1/2] add SF, CPDT, and Agda tutorial --- free-programming-books.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/free-programming-books.md b/free-programming-books.md index 75c30c6b..0113d9a4 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -22,6 +22,7 @@ * [MOOC](#mooc) * [Professional Development](#professional-development) * [Ada](#ada) +* [Agda](#agda) * [Android](#android) * [APL](#apl) * [Autotools](#autotools) @@ -33,6 +34,7 @@ * [Clojure](#clojure) * [CoffeeScript](#coffeescript) * [ColdFusion](#coldfusion) +* [Coq](#coq) * [D](#d) * [Dart](#dart) * [DTrace](#dtrace) @@ -348,6 +350,10 @@ * [Ada for Software Engineers](http://pnyf.inf.elte.hu/kto/oktatas/ada/books/ase.pdf) (PDF) +###Agda +* [Agda](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html) + + ###Android * [Google Android Developer Training](https://developer.android.com/training/index.html) * [Coreservlets Android Programming Tutorial](http://www.coreservlets.com/android-tutorial/) @@ -438,6 +444,11 @@ * [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 * [Programming in D](http://ddili.org/ders/d.en/) From 8761b6d18afee327b1e9a20fe5444b5120573977 Mon Sep 17 00:00:00 2001 From: Phil Nguyen Date: Sun, 27 Oct 2013 13:18:21 -0400 Subject: [PATCH 2/2] fix Agda tutorial's title --- free-programming-books.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/free-programming-books.md b/free-programming-books.md index 0113d9a4..5a9260f4 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -351,7 +351,7 @@ ###Agda -* [Agda](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html) +* [Agda Tutorial](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html) ###Android