Trustworthy Refactoring in Idris

Refactoring is the process of changing the structure of a program without modifying its behaviour, or functional semantics. Often, refactoring tools are implemented and then the correctness of the transformations is demonstrated correct by vigorous testing or well-formed rewrite rules that the implementation is based on. However, most programming languages do not have a well-formed […]

Continue reading

Refactoring Idris

Refactoring is the process of changing the structure of code without changing its meaning. It has so far been practised every day by developers manually, as they typically rewrite their code to make it more amenable for maintenance, or readability. Since the 1970s, refactoring has also become an automated technique, with many refactoring tools appearing […]

Continue reading