Commit Graph

3 Commits

Author SHA1 Message Date
Peter Simons
d2e731e111 Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
Cray Elliott
69901813cf Update SBV to v3.1 2014-07-12 17:22:20 -07:00
Austin Seipp
57cfb4315e haskell: sbv 3.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-08 10:12:58 -05:00