Commit Graph

5 Commits

Author SHA1 Message Date
Peter Simons
78ccd47130 haskell-equivalence: drop obsolete version 0.2.3 2014-11-08 15:50:14 +01:00
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