search

ucsd-progsys / liquidhaskell-tutorial

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

Links to subsections don't work for me #109

Open jllang opened 3 years ago

jllang commented 3 years ago

When I browse the HTML version of the book at https://ucsd-progsys.github.io/liquidhaskell-tutorial and click the heading of a subsection from the table of contents, Firefox takes me to the beginning of that section. For instance, if I click "3.3. Subtypes", I'm redirected to the beginning of Section 3 under the heading "Refinement Types".

jllang commented 3 years ago

Actually, so far none of the hyperlinks seem to work for me, except for the top-level chapter headings in the contents.

ranjitjhala commented 3 years ago

Hmm... yes, there's something fishy going on there, let me take a look!

On Thu, Jul 15, 2021 at 1:28 AM John Lång @.***> wrote:

Actually, so far none of the hyperlinks seem to work for me, except for the top-level chapter headings in the contents.

— 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_109-23issuecomment-2D880502927&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=NswlyiZROz-GI8xuBOtVaAmMLURMBBJ0ggYp7z5fVkE&s=Kd-ys748T5TNVMplDYUjVE1-_8E-xeAg4xriOA_HG-E&e=, or unsubscribe https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_notifications_unsubscribe-2Dauth_AAMS4ODMWDUYKFRLGBVV5Q3TX2L2LANCNFSM476EP3IA&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=NswlyiZROz-GI8xuBOtVaAmMLURMBBJ0ggYp7z5fVkE&s=xc6dLaHaQV_IRtZxfp_NZ6vjs-N0Ed5933wa_UqtlVg&e= .