ox-arrays/src/Data/Nat.hs, branch move-Rank
Nested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank
2024-04-14T08:33:54Z
Rename inductive naturals to INat
2024-04-14T08:33:54Z
Tom Smeding
tom@tomsmeding.com
2024-04-14T08:31:46Z
urn:sha1:018ebecade82009a3410f19982dd435b6e0715d8
Simple usage example
2024-04-03T13:06:52Z
Tom Smeding
t.j.smeding@uu.nl
2024-04-03T13:06:52Z
urn:sha1:ffa91484573a2c2be3f6ae2190c768e7a77e8b5c
Reorganise, documentation
2024-04-03T10:37:35Z
Tom Smeding
t.j.smeding@uu.nl
2024-04-03T10:37:35Z
urn:sha1:92902c4f66db111b439f3b7eba9de50ad7c73f7b