X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/dadecbb05c6be35c7fdab9c46118ae8e2510c1ff..ca00a074941f17e9d5bda7fc5d01c938b629720b:/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