libdither/disp

Aspiring universal programming language. Features: user-definable syntax and types + self-improving optimizer that creates provably correct, hardware-optimal programs from formal specification. Bootstrapped on Barry Jay's reflective tree calculus.

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

话题：decentralization · dependent-types · programming-language · tree-calculus · types-as-predicates

在 GitHub 上查看原仓库