Zena
On this page

The Type System Draft

Placeholder

This page hasn't been written yet. The headings below are the planned outline — see src/_data/sidebar.js for the full content plan.

Goals ​

Assignability and subtyping ​

Narrowing ​

Variance ​

What Zena deliberately leaves out ​