Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Refactor C interface to pass operation as enum | Tom Smeding | 2024-05-26 |
* | Less warnings in test | Tom Smeding | 2024-05-25 |
* | NFData instances | Tom Smeding | 2024-05-25 |
* | Test C sum with random inputs | Tom Smeding | 2024-05-24 |
* | WIP testing | Tom Smeding | 2024-05-23 |
* | Fast numeric operations for Num | Tom Smeding | 2024-05-23 |
* | WIP benchmark file | Tom Smeding | 2024-05-20 |
* | Rename 'test' component to 'example' | Tom Smeding | 2024-05-20 |
* | The code compiles with only GHC nats | Tom Smeding | 2024-05-15 |
* | WIP GHC nats | Tom Smeding | 2024-05-14 |
* | GHC 9.8 compatibility | Tom Smeding | 2024-04-20 |
* | Rename inductive naturals to INat | Tom Smeding | 2024-04-14 |
* | Simple usage example | Tom Smeding | 2024-04-03 |
* | Reorganise, documentation | Tom Smeding | 2024-04-03 |
* | More docs, sum, shaped interface | Tom Smeding | 2024-04-02 |
* | Nats | Tom Smeding | 2024-03-27 |
* | GHC typenats are bad | Tom Smeding | 2024-03-27 |
* | Initial | Tom Smeding | 2024-03-26 |