• Joined on 2025-09-13
A small lambda calculus evaluator
Updated 2025-07-02 21:45:37 +00:00