Programming in Pure Mathematics