From 9fb4ad6657f8740713a06f4fed4259ce07f08a8f Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 3 Sep 2021 15:00:54 +0200
Subject: [PATCH] add link to modal-mltt implementation

---
 quox.bib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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}}
 }