Abstracts.2018.RefactoringAgda

RefactorAgda — refactoring Agda code

by Karin Wibergh

In this talk I will be discussing techniques for producing a standalone refactoring engine for Agda. I will present a list of useful refactorings and try to explain what information we need for each one, how we can get hold of that information and what we need to do with it once we've got it.