Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 | |
* | Fix comment in Nested.Shape | Tom Smeding | 2024-05-31 | |
* | Make the sized lists strict again | Mikolaj Konarski | 2024-05-31 | |
* | Clearer module purposes | Tom Smeding | 2024-05-30 | |
* | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 | |
* | Record the dependency on arith_lists.h for recompilation checking | Tom Smeding | 2024-05-27 | |
* | Fast (C) Floating ops | Tom Smeding | 2024-05-27 | |
* | Fast Fractional ops via C code | Tom Smeding | 2024-05-26 | |
* | Refactor C interface to pass operation as enum | Tom Smeding | 2024-05-26 | |
* | Bugfix in wrapper for C reduce op | Tom Smeding | 2024-05-23 | |
* | Fast sum | Tom Smeding | 2024-05-23 | |
* | Fast numeric operations for Num | Tom Smeding | 2024-05-23 |