Descrição
Uma biblioteca Haskell para derivar constraints KnownNat a partir de outras constraints KnownNat. Ajuda código numérico em nível de tipo a recuperar evidência em tempo de execução para naturais calculados por famílias de tipos ou aritmética.
Desenvolvedores a usam em bibliotecas numéricas, de hardware e de vetores fortemente tipadas. Evidência correta importa porque conecta números de tempo de compilação a valores em tempo de execução.