ucsd-progsys/liquidhaskell — pull request #128 by nikivazou (2013-09-30 12:46:13+00:00)
Title: Local specifications

Allow specifications for local functions