Lib.rs

› 编程语言
#air #logic #specification #formal #language

air_main

作者 lambda

1 个不稳定版本

0.0.1 2024年4月15日

#15 in #formal

MIT/Apache

435KB
14K SLoC

Air 编程语言的主体库

依赖项

~2–2.8MB
~56K SLoC