欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Gauche
来自开放百科 - 灰狐
Gauche
目录 |
简介
Gauche - Scheme Scripting Engine
功能
指南
项目
- WiLiKi Wiki written in Gauche
- Gauche-lisp15 LISP1.5 implemened on top of Gauche
图集
链接
分享您的观点