欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
LFE
来自开放百科 - 灰狐
（版本间的差异）
(以“LFE (Lisp Flavoured Erlang) ==简介== LFE is not a casual（随意） Lisp. It's a Lisp for those who want to build distributed applications. like the ...”为内容创建页面) |
小 (→项目) |
||
| 第9行： | 第9行： | ||
==项目== | ==项目== | ||
| + | |||
| + | ==图书== | ||
| + | *[https://github.com/cnbbooks/lfe-sicp 《Structure and Interpretation of Computer Programs》]The LFE Edition | ||
==图集== | ==图集== | ||
2021年12月24日 (五) 04:38的版本
目录 |
简介
LFE is not a casual（随意） Lisp. It's a Lisp for those who want to build distributed applications. like the Erlang software that powers 40% of the world's telecommunications.
功能
指南
项目
图书
- 《Structure and Interpretation of Computer Programs》The LFE Edition
图集
链接
分享您的观点
