欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐伊娃俱乐部
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→IDE) |
||
| （未显示1个用户的3个中间版本） | |||
| 第7行： | 第7行： | ||
[[Emacs]], [[Vim]], [[atom editor|Atom]] (EVA) 就是你的贴身武器。 | [[Emacs]], [[Vim]], [[atom editor|Atom]] (EVA) 就是你的贴身武器。 | ||
| + | |||
| + | 这里的A也泛指基于[[Electron framework]]的各种编辑器： | ||
| + | *[[atom editor]] | ||
| + | *[[Visual Studio Code]] | ||
| + | *[[Nuclide]] | ||
此外，EVA含义很多： | 此外，EVA含义很多： | ||
*日本动画片新世纪福音战士(EVA巨大人型机器人) | *日本动画片新世纪福音战士(EVA巨大人型机器人) | ||
*电影[https://movie.douban.com/subject/3231823/ 《伊娃》] | *电影[https://movie.douban.com/subject/3231823/ 《伊娃》] | ||
| − | *EVA中的E也有IDE的含义： | + | *EVA中的E也有IDE的含义：[[Code::Blocks]] |
==ENSIME== | ==ENSIME== | ||
| 第17行： | 第22行： | ||
==IDE== | ==IDE== | ||
| − | [[IDEX]] + [[Eclipse]] + [[ | + | [[IDEX]] + [[Eclipse]] + [[Code::Blocks]] |
| − | [[ | + | [[Code::Blocks]]是EVA编辑器外，IDE的首选。 |
==聚会== | ==聚会== | ||
2018年1月28日 (日) 05:27的最后版本
灰狐伊娃俱乐部 Huihoo Eva Club
为什么叫伊娃，因为 Emacs, Vim, Atom （EVA）
目录 |
[编辑] 简介
闯荡江湖，哪有不佩戴把好兵器的。
Emacs, Vim, Atom (EVA) 就是你的贴身武器。
这里的A也泛指基于Electron framework的各种编辑器：
此外，EVA含义很多：
- 日本动画片新世纪福音战士(EVA巨大人型机器人)
- 电影《伊娃》
- EVA中的E也有IDE的含义：Code::Blocks
[编辑] ENSIME
ENSIME有些重要，它增强编辑器在Scala和Java世界的使用。
[编辑] IDE
IDEX + Eclipse + Code::Blocks
Code::Blocks是EVA编辑器外，IDE的首选。
[编辑] 聚会
[编辑] 图片
[编辑] 链接
分享您的观点
