GitHub repository: HerrmannM/eole
Primary language: Rust
Created: 2019-10-03T11:21:02Z
Description: Éole, a Lévy-optimal lambda calculus evaluator without oracle