aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Fix fixitiesTom Smeding2024-04-03
|
* Ignore cabal.project.localTom Smeding2024-04-03
|
* Reorganise, documentationTom Smeding2024-04-03
|
* More docs, sum, shaped interfaceTom Smeding2024-04-02
| | | | | | Very satisfying to see that the Shaped interface implementation is almost exactly the same as the Ranked one: just exchanging some Shaped for Ranked, 'sh' for 'n', etc. yields the Shaped interface.
* Various improvementsTom Smeding2024-03-28
|
* Ranked interfaceTom Smeding2024-03-27
|
* NatsTom Smeding2024-03-27
|
* GHC typenats are badTom Smeding2024-03-27
|
* Add readmeTom Smeding2024-03-26
|
* InitialTom Smeding2024-03-26