aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* 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