diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-11 14:08:18 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-11 18:04:06 +0100 |
| commit | 4aa8646599f51bbfa2006fd68738713fbb8f215a (patch) | |
| tree | bafff761448b3951904137312a4e35fdffc5f731 /cbits | |
| parent | dab29560cbd4d79577d1a1bff354c2813bbbd2c0 (diff) | |
Remove KnownNat from ListS and express ListS as newtype over ListX
as sketched by Tom.
Diffstat (limited to 'cbits')
0 files changed, 0 insertions, 0 deletions