标签： agda
我的意思是能够在某些本地范围内进行批量重命名，而不必手动做每个地方。在我的F＃编程中，我花了很多时间来做这样的事情，或者只使用find / replace来惊讶于拥有IDE支持重命名的能力。
Agda在语言中是一种特殊情况，因为其变量可能具有难以键入的特殊符号，因此该功能将比平时更具优势。
目前首选的重命名方法是什么？