ucsd-progsys/liquidhaskell — pull request #4 by pat-rondon (2012-10-10 01:35:52+00:00)
Title: Refactorings, null termination example

The general array operations are in tests/pos/LiquidArray.hs, with the tests in initarray.hs and nullterm.hs.