Text this: Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction