Zena
On this page

Correctness and Safety 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.

What "sound" means ​

Where TypeScript gives up soundness ​

What Zena does instead ​

Memory safety without a borrow checker ​

The cost of soundness ​