ucsd-progsys/liquidhaskell — pull request #31 by nikivazou (2013-02-14 02:01:05+00:00)
Title: Cons bind

-- use cconsE instead of consE in consBind,
-- fix 2 small bugs