欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
LFE
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 |
||
| 第9行： | 第9行： | ||
==项目== | ==项目== | ||
| + | |||
| + | ==文档== | ||
| + | *[http://docs.huihoo.com/erlang/conference/euc2016/LFE-A-Real-Lisp-in-the-Erlang-Ecosystem.pdf LFE - a real lisp in the Erlang ecosystem] | ||
==图书== | ==图书== | ||
| 第16行： | 第19行： | ||
==链接== | ==链接== | ||
| + | *[https://lfe.io/ LFE官网] | ||
| + | *[https://github.com/lfe/lfe LFE @ GitHub] | ||
[[category:programming language]] | [[category:programming language]] | ||
2021年12月24日 (五) 04:42的版本
目录 |
简介
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
图集
链接
分享您的观点
