diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 21:58:17 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-21 21:58:17 +0200 |
| commit | afd2214b2039390e440d9ab82dfa97077b76d827 (patch) | |
| tree | e7dae5d1e8b868b4c825946c64cd9a1d0ad8bdfc /src/Lemmas.hs | |
| parent | 9058091d82ac70db71c786ee68d997bde0c775f4 (diff) | |
splitLets: Don't split if unnecessary
Diffstat (limited to 'src/Lemmas.hs')
0 files changed, 0 insertions, 0 deletions