Fragmented Tutorial

[yanhasu]

There are (at least) three versions of the 'Programming with Refinement Types' tutorial floating around the LH documentation:

1. https://ucsd-progsys.github.io/lh-workshop/ (linked to from README.md as a '120 minute workshop')
2. https://ucsd-progsys.github.io/liquidhaskell-tutorial/ (linked to from README.md as a 'long ish tutorial', also linked to as the 'PDF version' of tutorial 3)
3. https://goto.ucsd.edu/~nvazou/cufp15_liquidHaskell/ (on a different domain, seems to contain the most up-to-date information, but isn't prominently advertised)

There are also a bunch of (similar?) documents in the docs/slides directory.

As a beginner, it's quite hard to find up-to-date information. It's also not obvious which file to make pull requests on when the tutorial needs updating.

[ranjitjhala]

Hmm good point! Sorry about that! Do you have any suggestions for how to improve matters?

[yanhasu]

I suggest:

• Finding the source code for the most up to date tutorial (maybe @nikivazou knows where it is?) and putting it somewhere prominent (e.g. this repo, its own repo) so that it's easily updated.
• Updating all the links to point to this most up-to-date tutorial (the most obvious ones are in README.md, the website, the blog's navbar, and the blog's about page).

[yanhasu]

Here's an even more complete version: https://github.com/ucsd-progsys/intro-refinement-types

[ranjitjhala]

Great idea -- I think at the very least, as we make other different tutorials, we can add them to this central list with a date / duration -- so we have them in one place!

On Sat, Jul 24, 2021 at 4:34 AM yanhasu @.***> wrote:

Here's an even more complete version: https://github.com/ucsd-progsys/intro-refinement-types https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_ucsd-2Dprogsys_intro-2Drefinement-2Dtypes&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=RlpguAW9spmEx0kHsPPBpR947W-9m11OS2cZdpEnqsc&s=GM0DLokRF-w5yCo6FnSEND2ae1GuQzdqAzeIhN7Etk8&e=

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_ucsd-2Dprogsys_liquidhaskell_issues_1849-23issuecomment-2D886040350&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=RlpguAW9spmEx0kHsPPBpR947W-9m11OS2cZdpEnqsc&s=TLmHM_0b6QmSdrnX4QCMjSea6hkv9I9zNUaLkwdrOW0&e=, or unsubscribe https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_notifications_unsubscribe-2Dauth_AAMS4OCCIPNAUO44N6VQVS3TZKQNJANCNFSM47WRELJA&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=RlpguAW9spmEx0kHsPPBpR947W-9m11OS2cZdpEnqsc&s=uUg03HX36GIPXaPXhzYhbkMzVrf7wGhIH4ux-3KBeS0&e= .

[mstarodub]

Merging these and updating the website to point to one tutorial would be incredibly helpful!

The website currently points to both

https://ucsd-progsys.github.io/liquidhaskell-tutorial/

and

https://ucsd-progsys.github.io/intro-refinement-types/120/ (a fourth version?)

edit: https://nikivazou.github.io/lh-course/ seems to be another (recent) version of the course