This is an attempt at an implementation of the paper Verified Three-Way Program Merge.
To install, first install the stack tool. You can then build the project
using stack build
and run the tests using stack test
.
This is an attempt at an implementation of the paper Verified Three-Way Program Merge.
To install, first install the stack tool. You can then build the project
using stack build
and run the tests using stack test
.