update/fix urls throughout

[~bandali/bndl.org] / bandali-cv.txt

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 2f6711f..97e87d4 100644 (file)
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -109,7 +109,7 @@ PUBLICATIONS & PRESENTATIONS
       slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
       slides with notes:
        https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
-      http: https://bndl.org/2021/03/20/libreplanet-2021
+      http: https://bndl.org/2021/03/20/libreplanet-2021.html
 
     The Magic of Specifications and Type Systems