Permalink
Browse files

initial commit

  • Loading branch information...
0 parents commit ed1bc445a5d9cc8b19b6a263fddcc6d6f44485e8 @mikeshulman mikeshulman committed Nov 6, 2012
Showing with 17 additions and 0 deletions.
  1. +14 −0 .gitignore
  2. +3 −0 README.md
@@ -0,0 +1,14 @@
+*.aux
+*.pdf
+*.dvi
+*.bbl
+*.toc
+*.blg
+*.brf
+*.log
+*.out
+*.synctex.gz
+*.nav
+*.snm
+auto/*
+*~
@@ -0,0 +1,3 @@
+This is a textbook that we are writing on informal homotopy type theory.
+
+http://uf-ias-2012.wikispaces.com/The+book

0 comments on commit ed1bc44

Please sign in to comment.