diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-06-10 17:50:23 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-10 17:50:23 +0200 |
| commit | a31367cc657198237a8ff911c8c78a399d51e2b8 (patch) | |
| tree | 34b4d11e474d0d157822c9125e5d80b586db69b1 /src/Data/Array/Nested/Internal/Lemmas.hs | |
| parent | 890f4afd45ea416134ddfaf8a9115602316e17dc (diff) | |
Add head functions for the nested list types
Diffstat (limited to 'src/Data/Array/Nested/Internal/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions