欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Sbt
来自开放百科 - 灰狐
指南
brew install sbt
mkdir hello
cd hello
echo 'object Hi { def main(args: Array[String]) = println("Hi!") }' > hw.scala
sbt
...
> eclipse
> run
Hi!
常见问题
> run
java.lang.RuntimeException: No main class detected. ...
run --proto_path=src/main/scala --scala_out=src/main/scala/target 也不好使
链接
分享您的观点
