| Commit message (Expand) | Author | Age |
* | Export *fromListPrimLinear | Tom Smeding | 2024-10-09 |
* | Export Product | Tom Smeding | 2024-10-09 |
* | Add rToMixed and stoMixed | Tom Smeding | 2024-10-09 |
* | Export Rank | Tom Smeding | 2024-10-09 |
* | Add {m,r,s}dot1Inner | Tom Smeding | 2024-06-19 |
* | sumAllPrim | Tom Smeding | 2024-06-17 |
* | Export shape types for Mixed | Tom Smeding | 2024-06-14 |
* | [mrs]{from,to}ListLinear | Tom Smeding | 2024-06-14 |
* | Export full [mrs]{shape,rank,size} set | Tom Smeding | 2024-06-14 |
* | s{from,to}Orthotope | Tom Smeding | 2024-06-13 |
* | Add (temporary version of) more general mdot | Tom Smeding | 2024-06-10 |
* | Add *flatten | Tom Smeding | 2024-06-10 |
* | Dot product | Tom Smeding | 2024-06-10 |
* | Add {max,min}IndexPrim to Nested export | Tom Smeding | 2024-06-10 |
* | nest, unNest | Tom Smeding | 2024-06-09 |
* | Concatenation of arrays for M and R | Tom Smeding | 2024-06-09 |
* | Export KnownElt from public Nested module | Tom Smeding | 2024-06-09 |
* | rrank, rtoOrthotope | Tom Smeding | 2024-06-03 |
* | *asXArrayPrim -> *toXArrayPrim | Tom Smeding | 2024-06-03 |
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
* | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
* | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 |
* | Export NumElt and FloatElt publicly | Tom Smeding | 2024-05-27 |
* | Re-add KnownNatList for convenience with transpose functions | Tom Smeding | 2024-05-27 |
* | replicate -> replicateScal; add proper generic replicate | Tom Smeding | 2024-05-25 |
* | fromList1Prim | Tom Smeding | 2024-05-23 |
* | msumOuter1 | Tom Smeding | 2024-05-23 |
* | iota | Tom Smeding | 2024-05-20 |
* | Some missing operations (rlift2, slift2) | Tom Smeding | 2024-05-20 |
* | Reorganise exports | Tom Smeding | 2024-05-20 |
* | Better {from,to}List set | Tom Smeding | 2024-05-20 |
* | rfromOrthotope | Tom Smeding | 2024-05-20 |
* | Rerank on primitive arrays | Tom Smeding | 2024-05-20 |
* | constant -> replicate | Tom Smeding | 2024-05-20 |
* | Some conversions | Tom Smeding | 2024-05-20 |
* | Export the two non-Foldable toList functions publicly | Tom Smeding | 2024-05-19 |
* | Finish singletons refactor? | Tom Smeding | 2024-05-18 |
* | Convert arrays <-> XArray | Tom Smeding | 2024-05-16 |
* | WIP stranspose type | Tom Smeding | 2024-05-15 |
* | The code compiles with only GHC nats | Tom Smeding | 2024-05-15 |
* | reshapelast-with-inat | Tom Smeding | 2024-05-14 |
* | rev1 | Tom Smeding | 2024-05-14 |
* | Fixup *fromList* names | Tom Smeding | 2024-05-14 |
* | toVector | Tom Smeding | 2024-05-14 |
* | Introduce EltRepr (no more Primitive/Coercible in API) | Tom Smeding | 2024-05-14 |
* | Bundle patterns with Ix/Sh data types (haddock) | Tom Smeding | 2024-05-14 |
* | Shape/index hygiene | Tom Smeding | 2024-05-13 |
* | Replace SShape with ShS | Tom Smeding | 2024-05-13 |
* | Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime info | Tom Smeding | 2024-05-13 |
* | Define and expose the recomputing of KnownINat for ranks | Mikolaj Konarski | 2024-04-23 |