A library for incremental computation