I'm almost afraid to ask if they think there needs to be a "feminist mathematics" as well. Because, really, the division between "mathematical notation" and "programming language" is somewhat arbitrary, especially with languages such as Prolog and Metamath.