aboutsummaryrefslogtreecommitdiff
path: root/ox-arrays.cabal
Commit message (Expand)AuthorAge
* WIP GHC natsTom Smeding2024-05-14
* GHC 9.8 compatibilityTom Smeding2024-04-20
* Rename inductive naturals to INatTom Smeding2024-04-14
* Simple usage exampleTom Smeding2024-04-03
* Reorganise, documentationTom Smeding2024-04-03
* More docs, sum, shaped interfaceTom Smeding2024-04-02
* NatsTom Smeding2024-03-27
* GHC typenats are badTom Smeding2024-03-27
* InitialTom Smeding2024-03-26