MediaWiki:Sitenotice

2022年9月27日 (二) 15:07的版本

2022年9月17日 (六) 05:27的版本 (查看源代码) Allen (讨论 \| 贡献) 小 ←上一编辑		2022年9月27日 (二) 15:07的版本 (查看源代码) Allen (讨论 \| 贡献) 小下一编辑→
第1行：		第1行：
−	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Scilab]]/[[GNU Octave\|Octave]]/[[Maxima]], [[Formal verification]]/[[Coq]]/[[~~ACL2~~]], [[~~Fortran~~]]/[[~~lisp ecosystem\|Lisp~~]]/[[~~Smalltalk~~]]	+	[[赞助灰狐\|欢迎大家赞助一杯啤酒🍺]] 我们准备了下酒菜：[[Scilab]]/[[GNU Octave\|Octave]]/[[Maxima]], [[Formal verification]]/[[Coq]]/[[Agda]], [[Haskell ecosystem\|Haskell]]/[[OCaml]]/[[C++ ecosystem\|C++]]