欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐伊娃俱乐部
来自开放百科 - 灰狐
（版本间的差异）
小 (→简介) |
小 (→ENSIME) |
||
| 第14行： | 第14行： | ||
==ENSIME== | ==ENSIME== | ||
[[ENSIME]]有些重要，它增强编辑器在[[Scala]]和[[Java]]世界的使用。 | [[ENSIME]]有些重要，它增强编辑器在[[Scala]]和[[Java]]世界的使用。 | ||
| + | |||
| + | ==IDE== | ||
| + | [[Code::Blocks]]是EVA编辑器外，IDE的首选。 | ||
==聚会== | ==聚会== | ||
2017年5月21日 (日) 01:51的版本
灰狐伊娃俱乐部 Huihoo Eva Club
为什么叫伊娃，因为 Emacs, Vim, Atom （EVA）
目录 |
简介
闯荡江湖，哪有不佩戴把好兵器的。
Emacs, Vim, Atom (EVA) 就是你的贴身武器。
此外，EVA含义很多：
- 日本动画片新世纪福音战士(EVA巨大人型机器人)
- 电影《伊娃》
ENSIME
ENSIME有些重要，它增强编辑器在Scala和Java世界的使用。
IDE
Code::Blocks是EVA编辑器外，IDE的首选。
聚会
图片
链接
分享您的观点
