HerrmannM/eole

Éole, a Lévy-optimal lambda calculus evaluator without oracle

语言：Rust · GitHub 星标：115 · Fork：4

在 GitHub 上查看原仓库