Theoretical Background - SpartanRefactoring/Main GitHub Wiki Contents Spartan programming Naming rules Parameters Readability Routines Ternarization Variable elimination Variable naming Spartanization site