A small lambda calculus evaluator
Updated 2025-07-02 21:45:37 +00:00