ucsd-progsys/liquidhaskell — pull request #23 by Ptival (2013-01-31 08:03:26+00:00)
Title: Some minor corrections

One kind of fix per commit, feel free to cherry-pick or whatever that's called in git parlance these days.