Links to subsections don't work for me
jllang opened this issue · 2 comments
jllang commented
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
Actually, so far none of the hyperlinks seem to work for me, except for the top-level chapter headings in the contents.
ranjitjhala commented
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=>
.