Descrição
Uma biblioteca Haskell que fornece tipos Nat e Fin para naturais de Peano e números finitos. Ajuda a representar números e índices com garantias mais fortes em nível de tipos sobre limites.
Desenvolvedores a usam em padrões de tipagem dependente, vetores, provas e APIs onde valores fora do intervalo devem ser impedidos por construção. A segurança extra de tipos é mais útil em bibliotecas que justificam a complexidade adicional.