diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-23 13:54:10 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-23 13:54:10 +0200 |
| commit | c231637529ce7fc5b321c24a24320b505df51e91 (patch) | |
| tree | 769fac7565017de380f61a8aa0b620dd9c9040be /src/Data/Array/Nested/Internal/Lemmas.hs | |
| parent | 4c86a3a4231cecc5b7c31491398f43b4ba667eea (diff) | |
Better naming in C code
Diffstat (limited to 'src/Data/Array/Nested/Internal/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions