Expand description
ยงtype_lang
Type representation, unification, and inference scaffolding.
Scaffold release (v0.1.0). The public surface is being designed across the
0.x series and frozen at v1.0. See docs/API.md and dev/ROADMAP.md for the
current phase scope.