Packages tagged refactoring

3 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (3), development (2), library (2), program (2), editor (1), formal-methods (1), haskell (1), ide (1), language (1), optimization (1), reflection (1), transformation (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
HaRe2930.0the Haskell Refactorer. (bsd3, development, refactoring)2017-06-12AlanZimmerman, ChrisBrown
hermit80.0Haskell Equational Reasoning Model-to-Implementation Tunnel (bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation)2016-02-23AndrewFarmer, AndyGill, NeilSculthorpe, ryanglscott
module-management90.0Clean up module imports, split and merge modules (bsd3, development, editor, haskell, ide, library, program, refactoring)2016-05-01DavidFox