Make `QuasiQuoter.Syntax` and `Pirouette.Term.Syntax.Pretty` compatible

Open VictorCMiraldo opened this issue 3 years ago • 1 comments

Our parser and pretty printer should be compatible: the result of pretty printing terms should always be parseable. It currently isn't.

Jul 05 '22 07:07 VictorCMiraldo

While #131 does a lot to improve the surface syntax of pirouette, we still have the issue of not having the pretty printer be compatible with the parser. I do think that merging #131 first makes more sense, since that was a big change to syntax.

Aug 04 '22 12:08 VictorCMiraldo