Introduce tuning of pretty printer

JetBrains / Arend

The Arend Proof Assistant

https://arend-lang.github.io/

Apache License 2.0

694 stars 33 forks source link

Introduce tuning of pretty printer #323

Closed knisht closed 2 years ago

knisht commented 2 years ago

This PR adds more functionality to the pretty printer, allowing to print more information only for certain subexpressions rather than for the entire concrete at once.