search

jwaldmann / haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)
2 stars 2 forks source link

export </> function #22

Open jwaldmann opened 6 years ago

jwaldmann commented 6 years ago

something like

x </> y = sep [x, indent 2 y]

but sep destroys the formatting of y