The Avail Programming Language
Mobile Users: Click here to view our text rendering warning.

variable ≝ ⊤↔⊥

Work in progress…

fiber | Return to Type System | atom