aboutsummaryrefslogtreecommitdiff
path: root/ox-arrays.cabal
Commit message (Expand)AuthorAge
* Test C sum with random inputsTom Smeding2024-05-24
* WIP testingTom Smeding2024-05-23
* Fast numeric operations for NumTom Smeding2024-05-23
* WIP benchmark fileTom Smeding2024-05-20
* Rename 'test' component to 'example'Tom Smeding2024-05-20
* The code compiles with only GHC natsTom Smeding2024-05-15
* 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