Agda是否支持重命名变量？

我的意思是能够在某些局部范围内进行批量重命名，而不必手动完成每个地方的重命名。在我的F#编程中，我花了很多时间这样做，或者使用find/replace，结果却惊讶于IDE支持重命名是多么棒

Agda是语言中的一种特殊情况，因为它的变量可能有难以键入的特殊符号，所以该功能比通常的功能更加有用

---

目前进行重命名的首选方法是什么？

目前Agda中没有重构代码的专用工具。