owo-lang/narc-rs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

语言：Rust · GitHub 星标：80 · Fork：3

话题：dependent-types · pattern-matching · programming-language · type-theory

在 GitHub 上查看原仓库