saki-lang/saki-dev

A simple scala-like dependent type programming language

语言：Scala · GitHub 星标：23 · Fork：3

话题：dependent-type-theory · dependent-types · martin-lof-type-theory · mygo · programming-language · saki-lang · scala3

在 GitHub 上查看原仓库