Text this: Equational logic as a programming language