ox-arrays/src/Data/Array/Nested, branch non-forcing-fromLists Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom/src/Data/Array/Nested?h=non-forcing-fromLists 2025-11-15T10:24:00Z arith: Add IntElt instances for Int8 and Int16 2025-11-15T10:24:00Z Tom Smeding tom@tomsmeding.com 2025-11-15T10:24:00Z urn:sha1:f7025bc3727e5ee058df3dfebb1fb73b933ee6b0 Support Int16 and Int8 2025-11-15T09:28:34Z Tom Smeding tom@tomsmeding.com 2025-11-15T09:28:34Z urn:sha1:11db054607e476c68be5681d99d96630642637e6 Equality on singletons is trivial 2025-11-14T10:00:44Z Tom Smeding tom@tomsmeding.com 2025-11-14T10:00:44Z urn:sha1:571c792fc1cf234c92b3c78eb47bc7e8b789bb85 Revert "Remove a spurious case now correclty rules out by the plugins" 2025-10-21T08:44:18Z Tom Smeding tom@tomsmeding.com 2025-10-21T08:44:18Z urn:sha1:0096708a7b8d7d299e006a29ca4760d2c6c68629 This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105 Remove a spurious case now correclty rules out by the plugins 2025-10-20T14:59:02Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-10-20T14:59:02Z urn:sha1:069ac5b0bcf52b8b5414261106e82ef0eb8a582e Tune redundant cases for no-warnings on GHC 9.12 2025-10-02T12:12:15Z Tom Smeding tom@tomsmeding.com 2025-10-02T12:12:15Z urn:sha1:2018dc3476c1a1b723f8c7106d628bd0da8cb49c Compatibility with GHC 9.6 2025-10-02T12:07:53Z Tom Smeding tom@tomsmeding.com 2025-10-02T12:07:53Z urn:sha1:ef72e54cf6bcee7124058364fea15b4d1bd62cd7 Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled 2025-10-02T10:54:23Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-09-24T18:56:20Z urn:sha1:22a3d9c5cbafb7a633f2f802af884d042718e78d and probably more sound than earlier versions. Tweak shape ZipWith definitions slightly 2025-07-13T20:09:37Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-07-13T20:09:37Z urn:sha1:2fae6bf7f6704e3dd9a3f73acbdc84331adb1bf0 Cross-package doc links are half-broken, let's not 2025-06-30T08:49:27Z Tom Smeding tom@tomsmeding.com 2025-06-30T08:49:27Z urn:sha1:362858202e880e8787127bc4a29bfbfeed822c58