DeltaSteam

A framework for expressing changes to data structures.

This page is still being written, but you can: