每次启动了以后查发布 log 或是 hash 吧，现在大部分是默认这样，不过有些支持用户设定我觉得更人性化。

让读者感到亲切？

这是正确的表现吗？

是因为这个 operator 被当成了 companion object 的名字

请使用 Relation.Binary.PreorderReasoning，这是一个非常美妙的证明库，可以让你的Agda代码和尻可一样可读

骚气的是什么？

可以学zhihu那样用线条来分割块吖（好像现在改了

我不懂 Kotlin，你這個 倒數第三行的 operator 沒有高亮，是為什麼呢？

评论里用来放非回答但对问题相关的讨论。评论不能被down vote，也不能被up vote，但可以被推荐和举报。