The Avail Programming Language

variable ≝ ⊤↔⊥

Work in progress…

fiber | Return to Type System | atom