copying IHP14 slides into ETH14
convert {code}<div> to {spec} in Lhs
convert {code}<div> to {spec} in Lhs
everything builds with LOCAL mathjax
bleg Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell