Little black circles on the right side of the official tutorial change the address bar improperly.
kindaro opened this issue · comments
Take a look for example on this page: https://ucsd-progsys.github.io/intro-refinement-types/120/02-refinements.html. It has little black circles on the right that function as a kind of a scroll bar. Clicking on one of these dots scrolls me to the appropriate subsection of the tutorial. However, the address bar also changes. For example, clicking on the circle № 7 will scroll me to the subsection Exercise: Positive Integers, which is good, but the address bar will change to https://ucsd-progsys.github.io/intro-refinement-types/120/02-refinements.html#/7, which is not appropriate. Surely what is meant is simply #7
— an appropriate anchor URL fragment, — not #/7
. The outcome is that reloading the page breaks it.