In a recent book, building on Dubuc's construction of C∞-schemes in 1980, Joyce detailed foundations for algebraic geometry over C∞-rings. But what about differential geometry, i.e., things like vector fields, flows, differential forms, Poisson brackets and Cartan calculus? I will describe an attempt to fill the gap in literature, including my work with Yael Karshon on flows.