search

ucsd-progsys / liquidhaskell-tutorial

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

Numbering the exercises #107

Open jllang opened 3 years ago

jllang commented 3 years ago

I have a suggestion: The exercises could be numbered in the book so that it would be easier to refer to a particular exercise.

ranjitjhala commented 3 years ago

That’s an excellent idea! In fact I could have sworn they were at some point! Let me fix ASAP!

On Sat, Jul 3, 2021 at 2:44 AM John Lång @.***> wrote:

I have a suggestion: The exercises could be numbered in the book so that it would be easier to refer to a particular exercise.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_ucsd-2Dprogsys_liquidhaskell-2Dtutorial_issues_107&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=04uHzXhxyuAhvSphfA4lJMe5mkutcyoFVr7SxMumyjU&s=QagMZF7wMXNM2qGB58uiQ_xmB1xoyEilVX4OU5m0wvs&e=, or unsubscribe https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_notifications_unsubscribe-2Dauth_AAMS4OCYQJJRUB5KL5BIFH3TV3LV7ANCNFSM47X7KVLA&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=04uHzXhxyuAhvSphfA4lJMe5mkutcyoFVr7SxMumyjU&s=IS_tETmAw8BoEdi8acDltVE2lkZJSOPSgjlWmzTXwcY&e= .