▲ 8 pointsRefactoring with Equational Reasoningneilmitchell.blogspot.comby dmit·11y ago·0 comments·view on hn ↗