#Bidirectional-typechecking

Showing 1 of 1 repositories tagged #bidirectional-typechecking, ranked by stars

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

★ 622 ⑂ 27 —

Related Topics

#compiler #dependent-record-types #dependent-records #dependent-types #programming-language #rust #systems-language #systems-programming #type-system #type-theory #typechecker