ox-arrays, branch non-forcing-fromListsNested, compositional struct-of-arrays orthotope arrayshttps://git.tomsmeding.com/ox-arrays/atom/?h=non-forcing-fromLists2025-11-16T21:24:44ZDon't force the list argument early in X.fromList*, if possible2025-11-16T21:24:44ZMikolaj Konarskimikolaj.konarski@funktory.com2025-11-16T21:00:44Zurn:sha1:6e952344ef5115511dadb92e4fd32c079a4ee512
TODO: do the same in orthotope to make the fix in fromListOuter work.
to2025-11-15T22:01:15ZTom Smedingtom@tomsmeding.com2025-11-15T22:01:15Zurn:sha1:85f3e5b2c91dded98edae8f7d1e9a4026839b556README: Document array buffer sharing policy2025-11-15T21:48:06ZTom Smedingtom@tomsmeding.com2025-11-15T21:48:06Zurn:sha1:e9a0873ceb5c2140dc3331aa8239d511675d55c4XArray: Further optimise toListOuter2025-11-15T21:15:39ZTom Smedingtom@tomsmeding.com2025-11-15T21:15:39Zurn:sha1:965ea2fd5aa21e1570f97957ae5613894fe8795d
Again, thanks Mikolaj
XArray: Optimise toListOuter2025-11-15T16:15:37ZTom Smedingtom@tomsmeding.com2025-11-15T16:15:37Zurn:sha1:91250bd41c600935207da3a35b7cc5eff6a7c5ee
Thanks Mikolaj!
arith: Add IntElt instances for Int8 and Int162025-11-15T10:24:00ZTom Smedingtom@tomsmeding.com2025-11-15T10:24:00Zurn:sha1:f7025bc3727e5ee058df3dfebb1fb73b933ee6b0arith: Support Int8 and Int162025-11-15T10:13:10ZTom Smedingtom@tomsmeding.com2025-11-15T10:12:57Zurn:sha1:ad3f44c8b170298e63b8b57ee02cb88fbbd210fcSupport Int16 and Int82025-11-15T09:28:34ZTom Smedingtom@tomsmeding.com2025-11-15T09:28:34Zurn:sha1:11db054607e476c68be5681d99d96630642637e6Equality on singletons is trivial2025-11-14T10:00:44ZTom Smedingtom@tomsmeding.com2025-11-14T10:00:44Zurn:sha1:571c792fc1cf234c92b3c78eb47bc7e8b789bb85ghc-typelits-knownnat 0.9.1 fixes the unsoundness again2025-10-21T11:07:12ZTom Smedingtom@tomsmeding.com2025-10-21T11:07:12Zurn:sha1:5b18d768e3119f8c38657772b60b6f66c5b02b64