登入
发表新帖子
虎哥这垃圾网站真的支持Kotlin的高亮吗？
import import
import org.data
val data = 233
data class A {
companion object
operator fun f1(): Unit
operator fun f2(): Int
}
正确的高亮（带报错）是：
不带报错的话，就是：
ice10004/7/2018, 2:31:19 PM
jonirrings11/26/2018, 10:48:43 PM
其他地方
ice1000 回复了 在论文为什么经常使用“我们”这个词
这对我来说依然是问题 可能是为了代替“你”而存在的
goldimax 回复了 一个合理的软件自动更新方案是什么？
每次启动了以后查发布 log 或是 hash 吧，现在大部分是默认这样，不过有些支持用户设定我觉得更人性化。
Hexixi 回复了 在论文为什么经常使用“我们”这个词
让读者感到亲切？
ice1000 回复了 Agda 的精髓是什么？
请使用 Relation.Binary.PreorderReasoning，这是一个非常美妙的证明库，可以让你的Agda代码和尻可一样可读
Colliot 回复了 为森么注册取名至少五个字符
骚气的是什么？
dotLyzh 回复了 移动端应用设计是否并用不到「卡片」？
可以学zhihu那样用线条来分割块吖（好像现在改了
ice1000 回复了 设立评论功能是为了不干扰主体，是吗？
评论里用来放非回答但对问题相关的讨论。评论不能被down vote，也不能被up vote，但可以被推荐和举报。
ice1000 回复了 这个网站的存在意义已经衰变成了批判虎哥
可以不错，至少有点样子了，点名表扬虎哥
发表新帖子