Text this: Recent Trends in Algebraic Development Techniques