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 |
|