Broken links #2
Description
There seem to be a few broken links, possible from moving to a different domain. On https://ucsd-progsys.github.io/liquidhaskell-blog/2016/10/06/structural-induction.lhs/ the measure goes nowhere.
Also the demo page is hosted under that second domain (which I guess is where it all started), but that also has broken a link to the about page.