Implementation for Workshop on Functional and Logic Programming (WFLP 2018).
Compile and run this repository with Agda 2.5.4 or the latest development version.
Please see the test cases in Automation/test folder to understand how the tool works.
Check Patch_Theory/cryptography/repository.agda for patch theory implementation.