/SafeMerge

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

ThreeWayMerge

Build Status

This is an attempt at an implementation of the paper Verified Three-Way Program Merge.

Building and Running Tests

To install, first install the stack tool. You can then build the project using stack build and run the tests using stack test.