The official tutorial has a dead link to PDF right on top.
kindaro opened this issue · comments
As far as I could ascertain, the official page of this project is https://ucsd-progsys.github.io/liquidhaskell/. It links to https://ucsd-progsys.github.io/intro-refinement-types/120/, calling it the official tutorial. Right on top of that page is a link to https://ucsd-progsys.github.io/intro-refinement-types/120/book.pdf. This link does not work — it gives error 404.