Show HN: Eole, a Lévy-optimal lambda calculus evaluator written in Rust | Heykuki News