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