Commit graph

2 commits

Author SHA1 Message Date
Peter Simons
8d1167f02a haskell-liquid-fixpoint: re-generate with cabal2nix 2015-01-04 20:56:50 +01:00
John Wiegley
f742da0a31 liquidhaskell: new expression 2015-01-02 15:29:01 -06:00