Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
| | | | | Thanks Mikolaj for discussion | ||
* | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
| | |||
* | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 |
| | |||
* | Reorganise test files | Tom Smeding | 2024-05-28 |
| | |||
* | Fast (C) Floating ops | Tom Smeding | 2024-05-27 |
| | |||
* | Refactor C interface to pass operation as enum | Tom Smeding | 2024-05-26 |
| | | | | | This is hmatrix style, less proliferation of functions as the number of ops increases | ||
* | 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 |