JankaGramofonomanka / idris-compiler-tools

1 stars 0 forks source link

Use existing pretty printing library instead of `Doc` or export `Doc` to a new package #12

Open JankaGramofonomanka opened 2 hours ago

JankaGramofonomanka commented 2 hours ago

substitute library candidates:

JankaGramofonomanka commented 25 minutes ago

prettier

It seems possible to handle indentation with some small wrapping, but I don't see any possibility to add comments to specific lines, on specific line length in the rendered code