diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-14 21:22:20 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-18 14:22:18 +0100 |
| commit | 4b05be9498e0aa54daa523fd37e4b8cb0d1c3017 (patch) | |
| tree | 13ea67af180ef5891dfb6a66c541551939b1eb09 /test/Main.hs | |
| parent | f55974fd67277263cf3ce6912abb9254149b6d12 (diff) | |
Make ShS a newtype over ShX
TODO: use lemmas in place of the unsafeCoerceRefl
Diffstat (limited to 'test/Main.hs')
0 files changed, 0 insertions, 0 deletions