Open Janiczek opened 1 year ago
Old habits die hard! I'm guilty of writing some docs with the shrink terminology. We wanted to start using the simplify terminology during the 1.2.2->2.0.0 push.
shrink
simplify
Old habits die hard! I'm guilty of writing some docs with the
shrink
terminology. We wanted to start using thesimplify
terminology during the 1.2.2->2.0.0 push.