diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-11 14:08:18 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-18 14:22:18 +0100 |
| commit | ffbe61917df7259565ca5b1ecfd5543024e19478 (patch) | |
| tree | 3fe73bc9eaacc8a3f4dd8480c88a48d52978554f /CHANGELOG.md | |
| parent | 92deda0b8336b49fda2658160fcc233f1ef6bcd6 (diff) | |
Remove KnownNat from ListS and express ListS as newtype over ListX
as sketched by Tom.
Diffstat (limited to 'CHANGELOG.md')
0 files changed, 0 insertions, 0 deletions