diff --git a/free-programming-books.md b/free-programming-books.md
index d6dfe3ccc9492dd12140ac11770c1e8ebc9b21bb..e6b88ef0f10fcd91aee2a5200fdafdf57fd9a5ce 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)