我用的是漂亮的打印机。现在,我想以不同的方式设置输出的样式,并认为语义注释的想法非常适合这里。我的目的是注释文档,后来我想为注释想出不同的驱动程序。例如,我希望有一个将文档X was here映射到<strong>X was here</strong>的驱动程序,另一个将文档映射到<i>X was here<
我试图为一种基本的语言语法编写一个漂亮的打印,它的输出应该正确地解析为它正在打印的东西。,但这是一个开始:)pretty-lit : (s : Syntax) → pretty-printer-for (string l)pretty-printer-for : (s : Syntax) → Set
pret