欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Sinatra 是一个基于 Ruby 语言的 DSL(领域专属语言),可以轻松、快速的创建 Web 应用,类似 Web.py。