ox-arrays/test, branch invert-castableNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=invert-castable2025-01-04T19:17:07ZPull orthotope from git2025-01-04T19:17:07ZTom Smedingtom@tomsmeding.com2025-01-04T19:16:51Zurn:sha1:e350183823b887d25df58129141251d56616e8aeRename *LengthSNat to *Rank2024-06-13T11:09:04ZTom Smedingtom@tomsmeding.com2024-06-13T11:09:04Zurn:sha1:20173c939486ed6e27b8170e94f666d8ae3df152Properly test C reductions2024-06-03T19:29:53ZTom Smedingtom@tomsmeding.com2024-06-03T19:29:53Zurn:sha1:c5108efd1402dcb52beca27d13b4880eed35ef5bMove sh*Tail to main ox-arrays2024-06-03T17:56:05ZTom Smedingtom@tomsmeding.com2024-06-03T17:56:05Zurn:sha1:a25d4061e219cec153f066fddbf710abd63b5e48Add a comment about the distribution of genRank2024-06-03T17:24:48ZTom Smedingtom@tomsmeding.com2024-06-03T16:55:38Zurn:sha1:af921a01e210fa1084236e63905d23acca3e7301Test permInverse2024-06-03T17:24:48ZTom Smedingtom@tomsmeding.com2024-06-03T16:49:08Zurn:sha1:30d5f7a84c5bf516785a95de51cd0176367df450Generalise monad in some test generators2024-06-03T16:19:52ZTom Smedingtom@tomsmeding.com2024-06-03T16:19:52Zurn:sha1:cc193feee38429e1a853cc23365b95e96b206672Some more generators for tests2024-06-03T16:09:36ZTom Smedingtom@tomsmeding.com2024-06-03T16:09:36Zurn:sha1:cbda266091d45e564fc91462856e4f0571d18acaImportQualifiedPost everywhere2024-06-03T16:09:13ZTom Smedingtom@tomsmeding.com2024-06-03T16:09:13Zurn:sha1:952228e1b598f2a7e635f41e6ecd87e81145781eClearer module purposes2024-05-30T20:47:52ZTom Smedingtom@tomsmeding.com2024-05-30T20:47:52Zurn:sha1:8b59d8ef4ff97936f2a753d1ce345e0404c26b2b
Thanks Mikolaj for discussion