diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-15 20:51:59 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-03-15 10:35:44 +0100 |
| commit | d8cc5e2bcf2fcac1142b5dd2f36f1995a2427f32 (patch) | |
| tree | bf1afd902ca9ee84bc6e6f71486b912d55591114 /src/Data/Array/Nested/Lemmas.hs | |
| parent | 86a7c052d921e2c4cb37c85a6473e11db06e88ff (diff) | |
Prefer newtype deriving over Generic deriving for simplicity
Diffstat (limited to 'src/Data/Array/Nested/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions