A compiler for the Church programming language into JavaScript for in-browser execution