欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐伊娃俱乐部
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐伊娃俱乐部 Huihoo Eva Club 为什么叫伊娃，因为 Emacs, Vim, Atom （EVA） ==简介== 闯荡江湖，哪有不佩戴把随身兵器的。 [[Emac...”为内容创建页面) |
小 (→简介) |
||
| 第6行： | 第6行： | ||
闯荡江湖，哪有不佩戴把随身兵器的。 | 闯荡江湖，哪有不佩戴把随身兵器的。 | ||
| − | [[Emacs]], [[Vim]], [[atom editor|Atom]] (EVA) | + | [[Emacs]], [[Vim]], [[atom editor|Atom]] (EVA) 就是你的贴身武器。 |
此外，EVA含义很多：新世纪福音战士(EVA巨大人型机器人) | 此外，EVA含义很多：新世纪福音战士(EVA巨大人型机器人) | ||
2017年4月18日 (二) 02:32的版本
灰狐伊娃俱乐部 Huihoo Eva Club
为什么叫伊娃，因为 Emacs, Vim, Atom （EVA）
目录 |
简介
闯荡江湖，哪有不佩戴把随身兵器的。
Emacs, Vim, Atom (EVA) 就是你的贴身武器。
此外，EVA含义很多：新世纪福音战士(EVA巨大人型机器人)
聚会
图片
链接
分享您的观点
