The std pretty printer

As we mentioned above, the std pretty printer is a modular pretty printer. For the moment, its only component will be the basic pretty printer defined below. To specify the std pretty printer's composition, include the following line in the file: contrib/Exp/pprinters/pprinters.rdb


Centaur.Exp.ppml.std.Package: (basic)

We will add to this list later on in the tutorial.


Tutorial