我只能一边吃着烤串,一边喝着扎啤
5 个赞
难道我要说“左手 vim,右手 emacs ” 才能装逼了?
1 个赞
现在你得说 “左手Coq 右手HOL” 才行啊!
哈,这你都看出来了?
我只能一边吃着烤串,一边喝着扎啤
难道我要说“左手 vim,右手 emacs ” 才能装逼了?
现在你得说 “左手Coq 右手HOL” 才行啊!
哈,这你都看出来了?