Email Record: Equational logic as a programming language