diff --git a/quox.bib b/quox.bib index 580c282..26e3220 100644 --- a/quox.bib +++ b/quox.bib @@ -141,5 +141,6 @@ pages = {107:1--107:29}, title = {Implementing a Modal Dependent Type Theory}, volume = {3}, - url = {https://www.jonmsterling.com/pdfs/modal-mltt.pdf} + url = {https://www.jonmsterling.com/pdfs/modal-mltt.pdf}, + note = {implementation at \url{https://www.jonmsterling.com/resources/blott.tar.gz}} }