search

ucsd-progsys / liquidhaskell-tutorial

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

Link is no longer available #122

Closed zlonast closed 1 year ago

zlonast commented 1 year ago

https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/da96f823f775480275e998a91fa74cff31d214fa/templates/bib.lhs#L12

Perhaps change the link to the second author http://www.cs.cmu.edu/~fp/papers/pldi98dml.pdf

ranjitjhala commented 1 year ago

My apologies I missed this, is it fixed? Thanks!

On Fri, May 26, 2023 at 2:53 PM Ilya Baryshnikov @.***> wrote:

Closed #122 https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/122__;!!Mih3wA!BoKrGsdjuR1Hrn5WUMOPHlrI1eTwEFmZINgi4WLstMZvuk3W2wU-2Wl-1KLiu_nBzExeVFRwy2xk3FjfLfQRm-f_$ as completed.

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/122*event-9354896470__;Iw!!Mih3wA!BoKrGsdjuR1Hrn5WUMOPHlrI1eTwEFmZINgi4WLstMZvuk3W2wU-2Wl-1KLiu_nBzExeVFRwy2xk3FjfLdziSFE6$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OAVLMMUOAWFE6NESZ3XIEQ5DANCNFSM6AAAAAAU2L2SFI__;!!Mih3wA!BoKrGsdjuR1Hrn5WUMOPHlrI1eTwEFmZINgi4WLstMZvuk3W2wU-2Wl-1KLiu_nBzExeVFRwy2xk3FjfLaZOjgCF$ . You are receiving this because you are subscribed to this thread.Message ID: <ucsd-progsys/liquidhaskell-tutorial/issue/122/issue_event/9354896470@ github.com>

--

  • Ranjit.