cooltt

jonsterling · Jun 22, 2020 · 7ec3251 · 7ec3251
1 parent 1745de3
commit 7ec3251
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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},