Merge pull request #242 from gridaphobe/master

use parsec's error messages
add tests/todo/TypeFun.hs
blah
add tests/todo/When.hs
balh
don't import when
add tests/todo/Until.hs
add tests/todo/Times.hs
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
add expression aliases
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
haskell measure
add proper hmeasure errors
proper error messages
add documentation
strengthening lifted types does not work...