ucsd-progsys/liquidhaskell — pull request #67 by leepike (2013-04-25 21:28:47+00:00)
Title: update gitignore; export LH Prelude, List modules.

Two minor modifications:

* Add .hsenv to .gitignore
* Expose the LiquidHaskell Prelude, List modules so users can import them.

I assume there is nothing dangerous about the latter.