Koz Ross
|
26cfa19772
Make package trustworthy, agree with Jookia on version numbering
|
4 years ago |
Koz Ross
|
cad580d6cb
Add notes to CHANGELOG
|
4 years ago |
Koz Ross
|
b77c0a6c3e
Add Eq as a constraint on Finitary instances (or the laws have no meaning), amend documentation to suit
|
4 years ago |
Koz Ross
|
9567d4a30a
Fix up CHANGELOG, ready to cut release
|
4 years ago |
Koz Ross
|
b83cbceeda
Start a principled rewrite
|
4 years ago |