summaryrefslogtreecommitdiff
path: root/src/Array.hs
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-23 16:53:20 +0200
committerMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-23 16:53:20 +0200
commitf8e131d7924c24e0ed015507e2299638b72b6a57 (patch)
treed2092c236168d3a6381bc4a49b7c41fe3d1690e0 /src/Array.hs
parentda0f6fa4515dbb2c4b794e6418fd0633415af17d (diff)
Define and expose the recomputing of KnownINat for ranks
Diffstat (limited to 'src/Array.hs')
0 files changed, 0 insertions, 0 deletions