diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-09-24 20:56:20 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-10-02 12:54:23 +0200 |
| commit | 22a3d9c5cbafb7a633f2f802af884d042718e78d (patch) | |
| tree | e0fb4cacfc39f182e2f1e0313bddc8836dbae651 /test/Tests/Permutation.hs | |
| parent | 2fae6bf7f6704e3dd9a3f73acbdc84331adb1bf0 (diff) | |
Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1
and probably more sound than earlier versions.
Diffstat (limited to 'test/Tests/Permutation.hs')
0 files changed, 0 insertions, 0 deletions