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

function ≝ […]→⊤

Work in progress…

map | Return to Type System | function implementation