diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-12 23:28:02 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-18 14:22:18 +0100 |
| commit | 910633f45fd7ad2612895630bf0695f816131cd2 (patch) | |
| tree | f20953849a37dfd9d310f109ba17756e1cfe5ada /test | |
| parent | e1ec55b8ddaa04458e863eb67536648ec8b0eec2 (diff) | |
Fix a few KnownNat in ShS-related TODOs and reword the rest
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions