Lib.rs

› Programming languages
#air #specification #logic #formal #language

air_main

by lambda

1 unstable release

0.0.1 Apr 15, 2024

#12 in #formal

MIT/Apache

515KB
16K SLoC

The Main Library of the Air Programming Language

Dependencies

~1.8–2.6MB
~53K SLoC