Bidirectional typechecking for arbitrary-rank types.
Mostly adapted from this MSR paper.
Bi-Directional. BD. "Bead".
a bidirectionally-typechecked language
Bidirectional typechecking for arbitrary-rank types.
Mostly adapted from this MSR paper.
Bi-Directional. BD. "Bead".
a bidirectionally-typechecked language
MIT License