呜呼，完全不是编程的料啊！

ssgwl

专门还去学过一阵子编程，学完发现，还是CTRL+C和CTRL+V

芦苇

需求才是动力，需求才是执行力。

烟雨红尘

楼主的学问对我来说就已经很高深了

neofetch

谦虚了，像一般的小白如我，连agda是干啥用的都不知道。
幸好楼主最开始没有用Vim进行编辑，不然很可能问出经典问题：“如何退出Vim？”

江南牧歌

没试过，没学过，完全不是料

qmzhz

YueDuMX 发表于 2025-3-13 20:55
VScode，code小写啊！强迫症难受死了。

嗯嗯，对，是VS Code.
下次注意！
谢谢！

asap

敢用emacs的都让人敬佩！当年的emacs vs vim，那可是精彩纷呈啊。