Type Lattice
Avail offers an incredibly rich set of primitive types for the programmer to leverage in the design and construction of software at every level of complexity. It is now time to examine these types in detail.‹ Semantic Restrictions | | | Return to Type System | | | ⊤ (top) › |