ox-arrays/src/Data/Array/Nested/Internal/Lemmas.hs, branch move-Rank
Nested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank
2025-05-16T22:26:59Z
Merge both Lemmas modules
2025-05-16T22:26:59Z
Mikolaj Konarski
mikolaj.konarski@funktory.com
2025-05-16T22:20:47Z
urn:sha1:713d76559c42129afb24843af4386d18f1827727
Move modules Permutation and Types
2025-05-16T21:50:45Z
Mikolaj Konarski
mikolaj.konarski@funktory.com
2025-05-16T21:50:45Z
urn:sha1:7bc9bc6ddbcee4f4193d5c79db92186f12ce3eb2
Add .stylish-haskell.yaml that matches Tom's preferences
2025-05-14T09:39:54Z
Mikolaj Konarski
mikolaj.konarski@funktory.com
2025-05-14T09:39:52Z
urn: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 modules
2025-05-14T09:38:22Z
Mikolaj Konarski
mikolaj.konarski@funktory.com
2025-05-14T09:38:22Z
urn:sha1:ffa8dacb1d7ea53438f784bf5f8b425b8cd48f46
Rename some commuting lemmas to better names
2024-05-31T06:58:49Z
Tom Smeding
tom@tomsmeding.com
2024-05-31T06:58:35Z
urn:sha1:eea22885eccfe6f720a24682346159853d386434
Clearer module purposes
2024-05-30T20:47:52Z
Tom Smeding
tom@tomsmeding.com
2024-05-30T20:47:52Z
urn:sha1:8b59d8ef4ff97936f2a753d1ce345e0404c26b2b
Thanks Mikolaj for discussion