ox-arrays/src/Data/INat.hs, branch move-Rank Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank 2024-05-15T11:30:36Z The code compiles with only GHC nats 2024-05-15T11:30:36Z Tom Smeding t.j.smeding@uu.nl 2024-05-15T11:29:10Z urn:sha1:bd11ee13d58c512f1a9cc0ef06b36c722653ff6f Shape/index hygiene 2024-05-13T20:47:42Z Tom Smeding tom@tomsmeding.com 2024-05-13T20:47:42Z urn:sha1:e4e23a33f77d250af1e9b6614cf249128ba1510a 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 Add ToINat 2024-04-22T14:29:00Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-22T14:29:00Z urn:sha1:7156d267a25b01ccc615fcd0a197a5079e5acf3f Rename inductive naturals to INat 2024-04-14T08:33:54Z Tom Smeding tom@tomsmeding.com 2024-04-14T08:31:46Z urn:sha1:018ebecade82009a3410f19982dd435b6e0715d8