ucsd-progsys
Do the solutions to the exercises actually exist?
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.
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 [email protected] 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 .
Done! LMK if for some reason it doesnt work!
On Sun, May 20, 2018 at 4:44 AM, mbwgh [email protected] 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 .
I just gave you access, did you get it? Thanks! sorry for the delay on other issues, have had a few hectic weeks :(
Hi -- @yanhasu and @nlander -- I just added you to the solutions repo, did you get it? Thanks! Ranjit.