| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Export more of the sized lists, including the newtype constructors | Mikolaj Konarski | 2024-04-21 |
| * | Flesh out shaped sized lists | Mikolaj Konarski | 2024-04-21 |
| * | Flesh out ranked sized lists | Mikolaj Konarski | 2024-04-21 |
| * | Make index types useful for horde-ad by parameterising Int | Tom Smeding | 2024-04-21 |
| * | slice | Tom Smeding | 2024-04-20 |
| * | toList | Tom Smeding | 2024-04-20 |
| * | fromList1 (the analogue to orthotope's fromList) | Tom Smeding | 2024-04-20 |
| * | fromList | Tom Smeding | 2024-04-20 |
| * | unScalar, constant | Tom Smeding | 2024-04-14 |
| * | fromVector | Tom Smeding | 2024-04-14 |
| * | Exports, documentation | Tom Smeding | 2024-04-14 |
| * | scalar | Tom Smeding | 2024-04-14 |
| * | Add forgotten export in public interface | Tom Smeding | 2024-04-14 |
| * | Fix constraints in Data.Array.Mixed | Tom Smeding | 2024-04-14 |
| * | Rename inductive naturals to INat | Tom Smeding | 2024-04-14 |
| * | Transpose functions in the API | Tom Smeding | 2024-04-09 |
| * | Reorganise, documentation | Tom Smeding | 2024-04-03 |
