effect-summary-engine

Here is 1 public repository matching this topic...

A source-to-source refactoring engine that proves binding and control-flow obligations before applying a patch.

To associate your repository with the effect-summary-engine topic, visit your repo's landing page and select "manage topics."