X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/dadecbb05c6be35c7fdab9c46118ae8e2510c1ff..c468ea86fe03b0000d6377079118da7e78e6ca4f:/bandali-cv.txt diff --git a/bandali-cv.txt b/bandali-cv.txt index 2f6711f..97e87d4 100644 --- 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