diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-13 19:37:42 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-13 19:37:42 +0200 |
| commit | 89b5f323d9e5cd7b44e1706c9bfc239045af577a (patch) | |
| tree | 6cd0fa32fbe2bce45f00b324f073aa7fc1a725bc /src/Data/Array/Nested/Lemmas.hs | |
| parent | 30c56f0d601561440734fd393a5482458a025e1e (diff) | |
Remove some redundant parentheses
Diffstat (limited to 'src/Data/Array/Nested/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions