pikelet-lang/pikelet

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

语言：Rust · GitHub 星标：620 · Fork：27

话题：bidirectional-typechecking · compiler · dependent-record-types · dependent-records · dependent-types · programming-language · rust · systems-language

在 GitHub 上查看原仓库