aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
...
* Simple usage exampleTom Smeding2024-04-03
|
* Fix enumShapeTom Smeding2024-04-03
|
* Some debugging Show instancesTom Smeding2024-04-03
|
* Fix fixitiesTom 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
|
* InitialTom Smeding2024-03-26