-
Joachim Breitner authored
as evaluting (\ (@ a) -> e) diverges if and only if evaluating e diverges. This was found in the context of #10180.
5673bfc4
as evaluting (\ (@ a) -> e) diverges if and only if evaluating e diverges. This was found in the context of #10180.