diff --git a/refs-bibtex.bib b/refs-bibtex.bib
index e2ea1b5..219dcda 100644
--- a/refs-bibtex.bib
+++ b/refs-bibtex.bib
@@ -5327,6 +5327,13 @@ @misc{redtt:2018:univalence
   title = {\texttt{univalence.red}},
 }
 
+@misc{cooltt:2020,
+  author = {{RedPRL Development Team}, The},
+  url = {http://www.github.com/RedPRL/cooltt},
+  year = {2020},
+  title = {\texttt{cooltt}},
+}
+
 @inproceedings{reppy:1991,
   author = {Reppy, John H.},
   address = {Toronto, Ontario, Canada},
diff --git a/refs-short-bibtex.bib b/refs-short-bibtex.bib
index 0129fee..04ff072 100644
--- a/refs-short-bibtex.bib
+++ b/refs-short-bibtex.bib
@@ -3724,6 +3724,12 @@ @misc{redtt:2018:univalence
   title = {\texttt{univalence.red}},
 }
 
+@misc{cooltt:2020,
+  author = {{RedPRL Development Team}, The},
+  year = {2020},
+  title = {\texttt{cooltt}},
+}
+
 @inproceedings{reppy:1991,
   author = {Reppy, John H.},
   booktitle = {Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation},
diff --git a/refs.bib b/refs.bib
index 71a59ad..6058c1b 100644
--- a/refs.bib
+++ b/refs.bib
@@ -5051,6 +5051,13 @@ @misc{redtt:2018:univalence
   title = {\texttt{univalence.red}},
 }
 
+@misc{cooltt:2020,
+  author = {{RedPRL Development Team}, The},
+  url = {http://www.github.com/RedPRL/cooltt},
+  date = {2020},
+  title = {\texttt{cooltt}},
+}
+
 @inproceedings{reppy:1991,
   author = {Reppy, John H.},
   location = {Toronto, Ontario, Canada},