Commit graph

2 commits

Author SHA1 Message Date
Peter Simons
34ed92c995 liquidhaskell: re-generate with cabal2nix 2015-01-03 00:24:48 +01:00
John Wiegley
f742da0a31 liquidhaskell: new expression 2015-01-02 15:29:01 -06:00