4 ms·

Yeah, proving extensional equality in general is undecidable. Maybe the author is thinking that the constrained input size matters?

• tetha 15y ago
  He is looking for upper bounds.