Description
Idris 2 programs can format structured output with a Bernard-style pretty-printing library.
It is useful for developers writing compilers, code generators, formatters, or tools that produce readable text. This is a library package and is consumed through Idris 2 source code.