From 54a96fd1b50451bb25c6cb6ec432c1f404727108 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A1bor=20Horv=C3=A1th?= Date: Fri, 18 Oct 2013 17:41:21 +0200 Subject: [PATCH] Added the HoTT book. --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index b17154e60..5ec59cb5f 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -940,6 +940,7 @@ See also [LaTeX](#latex) ###Theory * [Networks, Crowds, and Markets: Reasoning About a Highly Connected World](http://www.cs.cornell.edu/home/kleinber/networks-book/) +* [Homotopy Type Theory: Univalent Foundations of Mathematics](http://homotopytypetheory.org/book/) (PDF) ###TypeScript