Features

Dependent Set-Theoretic/Semantically Subtyped Types

Staged Programming in terms of explicit substitution

True Multiple-Return