[Main website]


Declarative and FP code are sometime difficult to debug because they lacks a step-by-step operational semantic.

Dok and DokMelody can decompose big declarative expressions (e.g. queries) into smalle pieces and test if they are doing the intended thing.

One can insert intermediate assertions/constraints, for seeing if the behaviour is as expected.