ucsd-progsys/liquidhaskell — pull request #284 by nikivazou (2014-12-10 01:27:28+00:00)
Title: Multiple record selectors

Fix for #265