小编dan*_*anr的帖子

有一个从输出HTML的一个很好的例子标准在http://bos.github.com/criterion/.

哪个命令行选项用于生成此输出？

的回答到一个相关的问题断言,这个输出退出,但它似乎不使用时,在命令行选项来显示--help.

我在Prolog中写了一个词法分析器和一个解析器.它将字符串与其AST统一起来.这是我正在进行的编译器/解释器项目的一部分.当然,我现在想从文件中读取字符串来解析它.但是,我发现的这个谓词是读取的,它只读取Prolog原子和谓词,就像文件一样

hello.

我一直在使用double_quotes设置,但没有成功.

我希望能够读取这样的文件

let id = \x.x in id (S (S Z))

然后将此字符串发送到解析谓词.