owo-lang/voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

语言：Rust · GitHub 星标：100 · Fork：6

话题：dependent-types · extensible · programming-language · type-theory

在 GitHub 上查看原仓库