欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Atom editor
来自开放百科 - 灰狐
Atom 是一款基于 Electron framework、node.js 构建的跨平台编辑器。
新闻
自http://blog.atom.io/feed.xml加载RSS失败或RSS源被墙
- 经过7年的酝酿,GitHub推出了文本编辑器Atom 1.0 (2015.06.25)
图集
链接
分享您的观点