adding IHP slides
adding mathjax support I think
adding mathjax support I think
fasd

Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell