The Avail Programming Language
About Avail
About Us

variable ≝ ⊤↔⊥

Work in progress…

‹ fiber | Return to Type System | atom ›
© 2012-2023 The Avail Foundation
|
RSS Facebook Twitter Email
|
Our Policies
|
Report an Issue