Conceptual Mathematics via Literate Programming. - Ian Benson; Jim Darby; Neil MacDonald; Jesse Sigal (CoRR, 2022)