Harmonization automation tool available via equality graphs. This works for simple examples for now, and there will be further work to enhance the rewrites and extractions.
- Clone the repository
- Add Harmtrace binary file to your path. For mac users:
mv .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/harmtrace/harmtrace ~/.cabal/bin