Do the solutions to the exercises actually exist?

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

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

MIT License

75 stars 27 forks source link

Do the solutions to the exercises actually exist? #67

Open mbwgh opened 6 years ago

mbwgh commented 6 years ago

The link in the readme 404s, and I could not find a similarly-named repo under ucsd-progsys. As it is, working through the tutorial is rather difficult without them.

ranjitjhala commented 6 years ago

Ah yes they do — I think I hid them at some point but will make public again. Will do this afternoon!

On Sat, May 19, 2018 at 7:04 AM mbwgh notifications@github.com wrote:

The link in the readme 404s, and I could not find a similarly-named repo under ucsd-progsys. As it is, working through the tutorial is rather difficult without them.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/67, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOGEf5uMYNGOFD6FFxlHI8ek3s6Efks5t0CZ3gaJpZM4UFuIL .

ranjitjhala commented 6 years ago

LMK if you want access; they are in a private repo

mbwgh commented 6 years ago

Yes, I would very much appreciate that.

ranjitjhala commented 6 years ago

Done! LMK if for some reason it doesnt work!

On Sun, May 20, 2018 at 4:44 AM, mbwgh notifications@github.com wrote:

Yes, I would very much appreciate that.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/67#issuecomment-390474991, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOMmJwAXLPIKXkHcD1rGFDJbZ3Ic3ks5t0VcvgaJpZM4UFuIL .