ox-arrays/src/Data/Array/Mixed, branch repro-9.14-branchNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=repro-9.14-branch2025-05-16T22:26:59ZMerge both Lemmas modules2025-05-16T22:26:59ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T22:20:47Zurn:sha1:713d76559c42129afb24843af4386d18f1827727Eliminate the dependency cycle of Lemmas modules2025-05-16T22:10:56ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T22:04:53Zurn:sha1:0d6f77762d1697ea41b190e550f94e459079e3d1Move modules Permutation and Types2025-05-16T21:50:45ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-16T21:50:45Zurn:sha1:7bc9bc6ddbcee4f4193d5c79db92186f12ce3eb2Shape/index function rename2025-05-16T09:54:41ZTom Smedingtom@tomsmeding.com2025-05-16T09:54:41Zurn:sha1:26b8f3c19cd919f5a45ef07e4ba76bae5cab35ceSimplify lemRankApp2025-05-15T21:20:43ZTom Smedingtom@tomsmeding.com2025-05-15T21:20:43Zurn:sha1:6cdbe556ddfb066a2fe205161b4ead793565c5f4Move Arith, XArray and Convert2025-05-14T17:43:21ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-14T17:43:21Zurn:sha1:3c8f13c8310de646b15c6f2745cfe190db7610dbAdd .stylish-haskell.yaml that matches Tom's preferences2025-05-14T09:39:54ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-14T09:39:52Zurn:sha1:03626ae119438452551962359b5d445a4ddbc0b3
to be automatically applied at buffer save or periodically applied with
find -not -path '*/\.git/*' -name "*.hs" -type f| xargs stylish-haskell -i
Split and uniformly rename Shape modules2025-05-14T09:38:22ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-14T09:38:22Zurn:sha1:ffa8dacb1d7ea53438f784bf5f8b425b8cd48f46Revert some stylistic changes2025-05-13T17:58:12ZTom Smedingtom@tomsmeding.com2025-05-13T17:58:12Zurn:sha1:bda0d3e9c1752d35488665ec19d39904f0dc4b49
https://x.com/comerijn/status/1257804634833420292
Apply some suggestions from hlint2025-05-13T14:59:17ZMikolaj Konarskimikolaj.konarski@funktory.com2025-05-13T14:59:17Zurn:sha1:ca78d92aa55e9ba8ad179ef42515e4e7b2b8155a