diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-25 21:37:38 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-25 21:37:38 +0200 |
| commit | 85593969debadbf11ad3c159de71e7b480ca367c (patch) | |
| tree | aa0f05401409d5a6241d61ea76297444a81fd3d9 /src/Data/Array/Mixed/Lemmas.hs | |
| parent | 13433346340e4376d8bc286f2e883f57e3962314 (diff) | |
Choose behaviour for rerank of empty array
This works around an undocumented runtime error in orthotope.
Diffstat (limited to 'src/Data/Array/Mixed/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions