add original gcd
add original gcd
misc
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
ugh
adding TOC to TextInternal post
minor
merge tutorials