simplifying gcd code as suggested on reddit
fix type-classes with multiple methods
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
use class syntax in `include/GHC/Real.spec`
Merge branch 'master' of github.com:gridaphobe/liquidhaskell
simpler refinement syntax

e.g. `x:{Int | x > 0}`, fixes #152
misc tweaks
rename file
moving lexicographic post back
moving lexicographic post back
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
simple test with type-holes passes.

presumably more complex tests will still fail..
ugh
adding TOC to TextInternal post
minor
merge tutorials
merge tutorials
run state w/o fst, snd
incr4 works
restore decreasing info