欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
ENSIME
来自开放百科 - 灰狐
ENSIME: Enhanced Scala and java Interaction Mode for text Editors.
目录 |
指南
编辑器
构建
- sbt
- Chris' Build Tool (CBT) for Scala
- Pants A fast, scalable build system
- Leiningen
- Apache Maven
- Gradle
项目
图集
链接
分享您的观点
