Descrição
Programas Idris 2 podem formatar saída estruturada com uma biblioteca de pretty-printing no estilo Bernard.
É útil para desenvolvedores que escrevem compiladores, geradores de código, formatadores ou ferramentas que produzem texto legível. É um pacote de biblioteca e é consumido por código-fonte Idris 2.