simplifying gcd code as suggested on reddit
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
merge tutorials
run state w/o fst, snd
incr4 works
restore decreasing info
another simple test
fix listAnf and Map
few failing
few failing
zipS0.hs is fine
other problem