Small change to week 10 notes

RobertHarper · Nov 25, 2013 · aa53905 · aa53905
1 parent 5bb7e8f
commit aa53905
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/hott_references.bib b/hott_references.bib
@@ -149,3 +149,9 @@ @comment{jabref-meta:
 
 @comment{jabref-meta: selector_keywords:}
 
+@ELECTRONIC{WikiFunctor,
+  author = {Wikipedia},
+  title = {Functor},
+  howpublished = {\url{http://en.wikipedia.org/wiki/Functor}},
+  year = {2013}
+}
diff --git a/notes_week10.tex b/notes_week10.tex
@@ -110,7 +110,7 @@ \subsection{Alternate Form}
 \end{array}
 \]
 
-\textbf{TODO: Help!}
+%% TODO: Help!
 
 \subsection{As elements of the exponential}
 The introduction forms of $\Nat$ may be treated as exponentials in the absence