The Avail Programming Language

continuation ≝ $[…]→⊥

Work in progress…

‹ macro definition | Return to Type System | fiber ›