check default methods in defining module
don't need to update defVars
one more pass over first text blog
published
coq style proofs?
means
tmp
Merge branch 'class-default-methods' of https://github.com/gridaphobe/liquidhaskell
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into class-default-methods
don't need to update defVars
all basic tests pass
foo
proving some real properties
merge with master
Merge pull request #215 from gridaphobe/class-default-methods

Class default methods
Merge remote-tracking branch 'origin/master'
fixing some tests
fix minCrash bug
adding IHP slides
adding mathjax support I think