ucsd-progsys/liquidhaskell-tutorial

Links to subsections don't work for me

jllang opened this issue · 2 comments

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".

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