github
/
free-programming-books
mirror of https://github.com/EbookFoundation/free-programming-books.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #180 from Xazax-hun/master

Browse Source 
Added the HoTT book.
pull/181/head
vhf / victor felder 11 years ago
parent f05a12d60e 54a96fd1b5
commit e42b5b49e4
1 changed files with 1 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 1
      free-programming-books.md

1
free-programming-books.md
Unescape View File

@ -940,6 +940,7 @@ See also [LaTeX](#latex)
###Theory ###Theory
* [Networks, Crowds, and Markets: Reasoning About a Highly Connected World](http://www.cs.cornell.edu/home/kleinber/networks-book/) * [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 ###TypeScript

Write Preview
Loading…
Cancel
Save