#Dependent-records

Showing 1 of 1 repositories tagged #dependent-records, ranked by stars

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

★ 622 ⑂ 27 —

Related Topics

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