ox-arrays, branch simplify-castable Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=simplify-castable 2025-06-06T10:15:15Z Bidirectional inference for KnownElt 2025-06-06T10:15:15Z Tom Smeding tom@tomsmeding.com 2025-06-06T10:15:15Z urn:sha1:3a5d069565cf4a19fbf94c7b548f072bbada265b WIP simplify Castable 2025-06-04T20:57:32Z Tom Smeding tom@tomsmeding.com 2025-06-02T21:22:23Z urn:sha1:3b4b5dae625a7781abb59b5d0b593fc077507cf2 Describe Castable philosophy 2025-06-04T13:12:24Z Tom Smeding tom@tomsmeding.com 2025-06-04T13:12:24Z urn:sha1:21eb3ead0ced0aaca4fb400e98349b8acb99599a Add CastZip and CastUnzip 2025-06-04T13:07:04Z Tom Smeding tom@tomsmeding.com 2025-06-04T13:07:04Z urn:sha1:09ec518c63424364e7521697f5c2a1b8f2d82d01 Add shape checking to [rms]zip 2025-06-04T12:59:40Z Tom Smeding tom@tomsmeding.com 2025-06-04T12:59:40Z urn:sha1:5d769178ee804c3804c9d7bf155ac2e46407eb3a Fix up and update Trace.hs 2025-06-04T12:59:31Z Tom Smeding tom@tomsmeding.com 2025-06-04T12:59:02Z urn:sha1:4261cb045081188a48bc8306f173166a79fcb1df Reorganise and clean up {from,to}List functions 2025-06-04T12:51:27Z Tom Smeding tom@tomsmeding.com 2025-06-04T12:51:27Z urn:sha1:8b698856bdef15def2681ee9cc97a4f5d6d52d54 Add ssxDropSSX and ssxDropSh, analogous to the shx* versions 2025-06-03T20:32:59Z Tom Smeding tom@tomsmeding.com 2025-06-03T20:30:36Z urn:sha1:8bc791a6b5a725e1fa3699a2c260eacb51a4e5fa Add CastNest and CastUnnest 2025-06-03T18:08:32Z Tom Smeding tom@tomsmeding.com 2025-06-03T18:08:32Z urn:sha1:7feaa162828e1ba1e6b73db7833ab94440eeb06b Remove unnecessary LANGUAGE pragma 2025-06-02T21:14:05Z Tom Smeding tom@tomsmeding.com 2025-06-02T21:14:05Z urn:sha1:75ee1572b75b45dcdc50e3af82ed50259ca77df0