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