-n 
Add bib entry for Mitchell's book
-n 
Bibs: remove cruft from bib entries in use
-n 
Bibs: BibDesk updates
-n 
Bibs: add "Observational equality, now!"
-n 
Bibs: add non-ILC related paper on PQL (parallel query language)

This work will be discussed at the Hessian workshop 2013.
-n 
Bibs: Paper to cite for POPL'14
-n 
Bibs: paper related to my Scala'13 work
-n 
Bibs: add abstract for paper to cite for POPL'14
-n 
Bibs: more related work for ILC
-n 
Bibs: fix output
-n 
Bibs: use macro for PODS
-n 
Bibs: add Koch's PODS paper
-n 
Bibs: more ILC entries, fix some existing ones
-n 
Bibs: syntax fix
-n 
Bibs: remove cruft, standardize more
-n 
Bibs: add book on HoTT (homotopy type theory)
-n 
Bibs: add non-ILC entry
-n 
Bibs: add entry
-n 
Bibs: reformat with BibDesk
-n 
Bibs: Add Hofmann's "Conservativity of equality reflection over ITT"