Description
Provides length-indexed lists for Haskell. A length-indexed list carries its size in the type, so the compiler can reject some size mismatches before the program runs.
It is useful for fixed-size data, protocols, math code, tests, and APIs where the number of elements is part of the contract. It can make code safer, but type signatures may become more advanced.