fix broken links in bibliography

[dijkstracula]

Hi folks,

Today I started working through the tutorial and have been enjoying myself. I noticed that the link to Greg Nelson's thesis is dead so I thought I would check if there were any others that failed to return an HTTP 200:

➜  liquidhaskell-tutorial git:(main) ✗ for URL in $(sed -e 's/^[^:]*:[ ]*//g' -e '/^$/d' -e '/^\/blog/d' templates/bib.lhs); do echo $URL $(curl -Lso /dev/null -w "%{http_code}" $URL); done | grep -v ' 200'
http://www.cs.bu.edu/~hwxi/DML/DML.html 404
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Vector.spec 404
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html 404
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html 404
http://www.cs.bu.edu/~hwxi/academic/papers/pldi98.pdf 404
http://cvc4.cs.nyu.edu/ 301
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/List.lhs#L334 404
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html#transpose 404
http://www.kroening.com/smt-lib-lsm.pdf) 403
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Set.spec 404
http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383 503
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/Ptr.spec 404
➜  liquidhaskell-tutorial git:(main) ✗

There were a bunch (including but not limited to the one mentioned in #122.) This patch fixes the above dead links as best I could. (Nelson's thesis was not among the above since it redirects to the root MSR homepage; I didn't explicitly vet any of the other ones that nominally return 200).

➜  liquidhaskell-tutorial git:(nathan/link_fixes) ✗ for URL in $(sed -e 's/^[^:]*:[ ]*//g' -e '/^$/d' -e '/^\/blog/d' templates/bib.lhs); do echo $URL $(curl -Lso /dev/null -w "%{http_code}" $URL); done | grep -v ' 200'
➜  liquidhaskell-tutorial git:(nathan/link_fixes) ✗

Well-typed greetings from Austin!

Nathan

[ranjitjhala]

Oh wow, thanks so much for catching these!!

On Thu, Mar 9, 2023 at 11:45 AM Nathan Taylor ***@***.***> wrote: Hi folks, Today I started working through the tutorial and have been enjoying myself. I noticed that the link to Greg Nelson's thesis is dead so I thought I would check if there were any others that failed to return an HTTP 200: ➜ liquidhaskell-tutorial git:(main) ✗ for URL in $(sed -e 's/^[^:]*:[ ]*//g' -e '/^$/d' -e '/^\/blog/d' templates/bib.lhs); do echo $URL $(curl -Lso /dev/null -w "%{http_code}" $URL); done | grep -v ' 200' \http://www.cs.bu.edu/~hwxi/DML/DML.html <https://urldefense.com/v3/__http://www.cs.bu.edu/*hwxi/DML/DML.html__;fg!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND46atLtY$> 404https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Vector.spec <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Vector.spec__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDwKyoPBQ$> 404 ^Rhttp://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html <https://urldefense.com/v3/__http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND3CkrSWv$> 404http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html <https://urldefense.com/v3/__http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND3CkrSWv$> 404http://www.cs.bu.edu/~hwxi/academic/papers/pldi98.pdf <https://urldefense.com/v3/__http://www.cs.bu.edu/*hwxi/academic/papers/pldi98.pdf__;fg!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND0L0cctC$> 404http://cvc4.cs.nyu.edu/ <https://urldefense.com/v3/__http://cvc4.cs.nyu.edu/__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND_CHN8or$> 301https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/List.lhs#L334 <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/List.lhs*L334__;Iw!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND-CiKBk_$> 404http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html#transpose <https://urldefense.com/v3/__http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html*transpose__;Iw!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND5vSI0SN$> 404http://www.kroening.com/smt-lib-lsm.pdf <https://urldefense.com/v3/__http://www.kroening.com/smt-lib-lsm.pdf__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDx5lnpBb$>) 403https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Set.spec <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Set.spec__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND2wfVmzL$> 404http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383 <https://urldefense.com/v3/__http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDw4pUgIr$> 503https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/Ptr.spec <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/Ptr.spec__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND3Z3XVhX$> 404 ➜ liquidhaskell-tutorial git:(main) ✗ There were a bunch (including but not limited to the one mentioned in #122 <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/122__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND_0THWc_$>.) This patch fixes the above dead links as best I could. (Nelson's thesis was *not* among the above since it redirects to the root MSR homepage; I didn't explicitly vet any of the other ones that nominally return 200). Well-typed greetings from Austin! Nathan ------------------------------ You can view, comment on, or merge this pull request online at: #123 <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND4EOPYVK$> Commit Summary - 1c4935f <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123/commits/1c4935f3a3315b5a0103f8f98ce3d6e416e9bb4b__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND5JL7yg5$> fix broken links in bibliography File Changes (1 file <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123/files__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND_xlNCDk$> ) - *M* templates/bib.lhs <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123/files*diff-a8c19a1986cab9a1088fdbf5d31ac5e8233421e22583b276f2107d2b92353658__;Iw!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND2C9axws$> (26) Patch Links: - https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123.patch <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123.patch__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND-P3hmmA$> - https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123.diff <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123.diff__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDwwoXluq$> — Reply to this email directly, view it on GitHub <https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND4EOPYVK$>, or unsubscribe <https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OGNBQEV6GPUCXG2CW3W3IXOTANCNFSM6AAAAAAVVRN7SQ__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND28M6COc$> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

-- - Ranjit.