欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
沙盒
来自开放百科 - 灰狐
（版本间的差异）
(→模版练习) |
|||
| 第8行： | 第8行： | ||
==模版练习== | ==模版练习== | ||
| − | + | <div class="noprint {{#ifeq:{{{left|}}}|yes|tleft|tright}} portal" style="border:solid #aaa 1px;margin:{{#if:{{{margin|}}} | |
| − | | | + | |{{{margin|}}} |
| − | | | + | |{{#ifeq:{{{left|}}}|yes |
| − | | | + | |0.5em 0.5em 0.5em 0 |
| − | |} | + | |0.5em 0 0.5em 0.5em |
| + | }} | ||
| + | }};"> | ||
==巴别模板== | ==巴别模板== | ||
2010年9月23日 (四) 15:24的版本
编辑, 奇怪
取消匿名编辑...不明白
只有登录才能编辑, 欢迎注册账号.
目录 |
CategoryTree
<categorytree mode=pages>games</categorytree>
模版练习
分享您的观点
