From 9f46a3e147461d0e3136f3c4ca1f27a47d0e883e Mon Sep 17 00:00:00 2001 From: Boro Sitnikovski Date: Thu, 1 Aug 2019 14:32:28 +0200 Subject: [PATCH] Update free-programming-books.md (#3339) * Update free-programming-books.md Add gidti eBook * Add author name --- free-programming-books.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/free-programming-books.md b/free-programming-books.md index d6dfe3ccc..e6b88ef0f 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -67,6 +67,7 @@ * [Bootstrap](#bootstrap) * [HTTP](#http) * [Icon](#icon) +* [Idris](#idris) * [iOS](#ios) * [IoT](#iot) * [Isabelle/HOL](#isabellehol) @@ -1369,6 +1370,11 @@ Kerridge (PDF) (email address *requested*, not required) * [Introduction to HTTP](https://launchschool.com/books/http) - Launch School +### Idris + +* [Gentle Introduction to Dependent Types with Idris](https://leanpub.com/gidti) - Boro Sitnikovski *(Leanpub account or valid email requested)* + + ### Icon * [The Implementation of the Icon Programming Language](http://www.cs.arizona.edu/icon/ibsale.htm)