欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Twirl 是一个功能强劲的 Scala 模版引擎,最初由 spray 项目组开发,现在由 play framework 开发维护。