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