Heifer is a new verifier for effectful higher-order programs.
Check the GitHub actions config for the build dependencies.
Use dune exec parsing/hip.exe $EXAMPLE to run examples. Effect-related programs are in src/evaluation, higher-order programs are in src/examples.
