yaλcr (yalcr) is Yet Another λ-Calculus REPL. It only supports normal β-reduction at the moment.