欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐Erlang俱乐部
来自开放百科 - 灰狐
（版本间的差异）
小 (→活动) |
小 (→简介) |
||
| 第5行： | 第5行： | ||
选择[[Erlang]]，一是榜样(WhatsApp)的力量，二是信仰：[[Gougou|狗狗]]。 | 选择[[Erlang]]，一是榜样(WhatsApp)的力量，二是信仰：[[Gougou|狗狗]]。 | ||
| − | |||
| − | |||
==项目== | ==项目== | ||
2019年3月22日 (五) 00:51的版本
目录 |
简介
2017，Erlang 32岁了。这一年，C++ 34岁。
选择Erlang，一是榜样(WhatsApp)的力量，二是信仰：狗狗。
项目
相关
活动
- 2017.11，成都地区第一次Erlang聚会。
链接
分享您的观点
