欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
sbt 是一个 Scala 和 Java 项目构建工具。
brew install sbt mkdir hello cd hello echo 'object Hi { def main(args: Array[String]) = println("Hi!") }' > hw.scala sbt ... > run Hi!
