欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Streamlined
来自开放百科 - 灰狐
Streamlined for Rapid Rails Deployment (cms tool, not a cms)
相关链接
- http://streamlined.relevancellc.com/
- 跨越边界: Streamlined，第 1 部分 - 用 Ajax、元编程和 Ruby on Rails 框架进行企业级搭建
分享您的观点
