4 commits

Author	SHA1	Message	Date
John Wiegley	11dc22e3ee	Agda needs an older version of haskell-equivalence	2014-07-30 18:10:59 -05:00
Peter Simons	cd3c2b7ed7	haskell-equivalence: update to version 0.2.5	2014-07-28 20:32:53 +02:00
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
John Wiegley	7a45ef7e25	haskell-equivalence: new expression	2014-06-16 14:03:17 -07:00