欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lispbox
来自开放百科 - 灰狐
（版本间的差异）
(以“Lispbox 是一个跨平台 Common Lisp 集成开发环境（IDE），也称为 Lisp in a box。 ==链接== *[https://common-lisp.net/project/lispbox/ Lispbox官...”为内容创建页面) |
小 |
||
| 第1行： | 第1行： | ||
| − | Lispbox | + | Lispbox 是一个基于 [[Emacs]] 跨平台 [[Common Lisp]] 集成开发环境（IDE），也称为 Lisp in a box。 |
==链接== | ==链接== | ||
2015年3月30日 (一) 14:47的版本
Lispbox 是一个基于 Emacs 跨平台 Common Lisp 集成开发环境（IDE），也称为 Lisp in a box。
链接
分享您的观点
