Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | | | | | | 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. | ||
* | Nats | Tom Smeding | 2024-03-27 |
| | |||
* | GHC typenats are bad | Tom Smeding | 2024-03-27 |
| | |||
* | Initial | Tom Smeding | 2024-03-26 |