#Dependent-record-types

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

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

★ 622 ⑂ 27 —

Related Topics

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