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