欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Enlive：基于选择器的HTML转换，深受CSS选择器的启发。
Enlive解耦代码和模版的方式不是定义一个特别的局部语法把值插入模版，而是将内容注入到模板里，Clojure代码指定要修改什么，Clojure函数定义要应用什么转换。
