ucsd-progsys/liquidhaskell — pull request #46 by ranjitjhala (2013-03-28 23:04:52+00:00)
Title: Inccheck

major changes (en route to incremental checking) : namely a billion things have gotten pulled into Types.hs, best to merge now rather than cry later.