欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Snurf Python-based Blog
来自开放百科 - 灰狐
（版本间的差异）
2007年2月22日 (四) 21:30的版本
Snurf: a Python-based Blogging System
Functions
- uses file-system or Subversion repository for data
- generates static HTML, RSS and Atom files
分享您的观点
