Programming with Tao