ox-arrays/src/Data, branch experiment-with-KnownShape Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=experiment-with-KnownShape 2024-04-29T15:35:54Z Make also the sized shaped lists strict due to impurity in horde-ad 2024-04-29T15:35:54Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-29T15:35:54Z urn:sha1:1f81568269189c863772369bb62a7598735ee684 Make sized ranked lists strict due to impurity evaluation order in horde-ad 2024-04-28T17:18:06Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-28T17:18:06Z urn:sha1:d9a1b896875153cc3ee8fefc3dba7de1f6122d45 Add KnownShape and KnownNat throughout sized shaped lists 2024-04-25T09:45:15Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-25T09:45:15Z urn:sha1:b86302bdb747fbe4262b1afa6ae981fd54d7bce4 Try to make up for ToINat not being injective 2024-04-23T14:54:09Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-23T14:54:09Z urn:sha1:4ca302cdb32e3d36152400962cc50d37d3d40494 Define and expose the recomputing of KnownINat for ranks 2024-04-23T14:53:20Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-23T14:53:20Z urn:sha1:f8e131d7924c24e0ed015507e2299638b72b6a57 Add role annotations for sized lists 2024-04-22T14:30:51Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-22T14:30:51Z urn:sha1:da0f6fa4515dbb2c4b794e6418fd0633415af17d Add ToINat 2024-04-22T14:29:00Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-22T14:29:00Z urn:sha1:7156d267a25b01ccc615fcd0a197a5079e5acf3f Make type params of sized list newtype constructors the same as for the lists 2024-04-21T21:31:41Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T21:31:37Z urn:sha1:c4598014eaac54018a6aad9621b8e667a0e84cf6 Derive also the Ord instance for sized lists 2024-04-21T21:13:42Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T21:13:42Z urn:sha1:4def20b2699f8268ba7d03f3a228273ff613dc0d Swap arguments of sized lists to derive Functor, etc. 2024-04-21T21:07:33Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T21:07:33Z urn:sha1:f29e8a37daf2ed55ea849c286e1bfb1025b67329