ucsd-progsys/liquidhaskell — pull request #3 by pat-rondon (2012-10-07 01:54:58+00:00)
Title: Remove disjunctions from array examples

*Vastly* improves performance (and the types are much simpler, to boot!).