ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
75 stars 27 forks source link

Chapter 9 - Broken link to Okasaki's JFP article #132

Open mister-walter opened 1 month ago

mister-walter commented 1 month ago

The link provided at the beginning of Chapter 9 to Chris Okasaki's JFP article that discusses lazy queues is broken, and redirects to an informational webpage discussing West Point's CS major.

The Internet Archive scraped the original file, so the link could simply be updated with the following one: https://web.archive.org/web/20160615095444/http://www.westpoint.edu/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp95queue.pdf

Alternatively, one could link the DOI: https://doi.org/10.1017/S0956796800001489