datafixLibrary for separating specification of a data-flow problem from computing its solution.See the haddocks in Datafix.Tutorial for an introduction and the examples/ folder for more advanced material.