Permalink
Browse files

add Makefile, use natbib, add stub references.bib file

  • Loading branch information...
1 parent 3ad3969 commit dcbbc33b346749e5394e6a4bdba2b7265899c68a @dlicata335 dlicata335 committed Nov 13, 2012
Showing with 34 additions and 0 deletions.
  1. +13 −0 Makefile
  2. +2 −0 computational.tex
  3. +3 −0 macros.tex
  4. +5 −0 main.tex
  5. +11 −0 references.bib
View
@@ -0,0 +1,13 @@
+pdf: *.tex
+ pdflatex main.tex
+ pdflatex main.tex
+ bibtex main
+ pdflatex main.tex
+
+clean:
+ rm -f main.out
+ rm -f main.aux
+ rm -f main.log
+ rm -f main.out
+ rm -f main.pdf
+
View
@@ -2,3 +2,5 @@
\chapter{Types as Groupoids}
$\map f M$
+
+\cite{martinlof71itt}
View
@@ -102,6 +102,9 @@
\setitemize[1]{itemsep=-0.2em}
\setenumerate[1]{itemsep=-0.2em}
+%%%% CITATIONS %%%%
+
+\renewcommand{\cite}[1]{\citep{#1}}
% Local Variables:
% mode: latex
View
@@ -4,8 +4,10 @@
\definecolor{darkgreen}{rgb}{0,0.45,0}
\usepackage[pagebackref,colorlinks,citecolor=darkgreen,linkcolor=darkgreen]{hyperref}
\usepackage[all]{xy}
+\usepackage{natbib}
\input{macros}
+
\title{The HoTT Book}
% To avoid compiling stuff other than what you're working on right
@@ -38,4 +40,7 @@
\include{setmath}
+\bibliographystyle{abbrvnat}
+\bibliography{references}
+
\end{document}
View
@@ -0,0 +1,11 @@
+@incollection{martinlof71itt,
+title = "An Intuitionistic Theory of Types: Predicative Part",
+editor = "H.E. Rose and J.C. Shepherdson",
+booktitle = "Logic Colloquium '73, Proceedings of the Logic Colloquium",
+publisher = "Elsevier",
+year = "1975",
+volume = "80",
+pages = "73 - 118",
+series = "Studies in Logic and the Foundations of Mathematics",
+author = "Per Martin-L{\"{o}}f"
+}

0 comments on commit dcbbc33

Please sign in to comment.