synthesize legible programs

[KiaraGrouwstra]

Right now my synthesis is designed toward simplicity in the grammar of constructed programs, primarily to simplify the machine learning bits and reduce the search space.

Humans like legible programs though.
Ideally, I would have a rewrite step transforming my synthesized programs for human consumption.

• I think hlint would be my best starting point here. their hlint function handles the CLI functionality, e.g. taking an input file. if I wanted a nicer API, tough luck, internal functions they mostly don't expose. interestingly they do seem to use haskell-src-exts, as well as ghc-lib-parser?
• pointfree.io looks fun but all I synthesize so far is point-free already