X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/1742e66861e7a625034b4d2321604a8120a9f333..0168c81837341f8434b074bc9659da2bdd83af50:/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