ucsd-progsys/liquid-fixpoint — pull request #27 by gridaphobe (2013-12-05 23:00:20+00:00)
Title: pull Located out of liquidhaskell

**Don't merge yet**, see https://github.com/ucsd-progsys/liquidhaskell/pull/161 for discussion.