ucsd-progsys/liquidhaskell — pull request #211 by lcycon (2014-05-19 22:33:53+00:00)
Title: Data/Vector/Primitive/Mutable.hs refinements

Still needs fixes for that instance declaration and the deriving typeable thing @ranjitjhala