ucsd-progsys/liquidhaskell — pull request #135 by nikivazou (2013-10-19 17:50:31+00:00)
Title: Moving pointer functions to Language.Haskell.Liquid.Foreign

See issue #134