The Avail Programming Language
About Avail
Introduction
FAQ
History
Download
Learn
Documentation
Glossary
Community
About Us
Team
Blogs
Acknowledgments
function implementation ≝ ¢[…]→⊤
Work in progress…
‹
function
|
Return to Type System
|
method
›