it looks like the lam parser should throw, as is it will consume input then fall through to app. whitespace handling is also not correct. I don't believe I've

it looks like the lam parser should throw, as is it will consume input then fall through to app. whitespace handling is also not correct. I don't believe I've seen one correct program written by GPT yet. edit: try parsing "λ(x x)" for example, or "λ x. x"