欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
LambdaNative
来自开放百科 - 灰狐
（版本间的差异）
小 |
小 (→链接) |
||
| 第15行： | 第15行： | ||
==链接== | ==链接== | ||
| − | *[ | + | *[https://www.lambdanative.org/ LambdaNative官网] |
*[https://github.com/part-cw/lambdanative LambdaNative @ GitHub] | *[https://github.com/part-cw/lambdanative LambdaNative @ GitHub] | ||
| − | |||
[[category:scheme]] | [[category:scheme]] | ||
2022年1月16日 (日) 03:11的版本
|
您可以在Wikipedia上了解到此条目的英文信息 LambdaNative Thanks, Wikipedia. |
LambdaNative
目录 |
简介
LambdaNative 是一个 Scheme 开发的跨平台开发环境，可开发 iOS、Android、OpenWrt、OS X应用。
LambdaNative 使用 Gambit Scheme 编写，采用 BSD 许可证。
功能
指南
图集
链接
分享您的观点
