edit the size of map
moving ptr spec to Foreign, see #134
moving csv to negs
moving revshape to neg
adding Language.Haskell.Liquid.Foreign
adding Language.Haskell.Liquid.Foreign
3 failing tests
no failing tests
Merge pull request #135 from ucsd-progsys/ptr_spec

Moving pointer functions to Language.Haskell.Liquid.Foreign
added ideas for various projects
formatting tweaks