欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
[[Image:reddit.png|right]] | [[Image:reddit.png|right]] | ||
| − | + | Reddit is open: [[Reddit Code]] | |
==Debian== | ==Debian== | ||
*[http://code.reddit.com/wiki/DependenciesOnDebian5 Reddit on Debian 5] | *[http://code.reddit.com/wiki/DependenciesOnDebian5 Reddit on Debian 5] | ||
2010年7月10日 (六) 00:15的版本
Reddit is open: Reddit Code
Debian
Links
分享您的观点
