Examples directory

Files in this directory that have a corresponding .out file are automatically checked as part of the test suite. In this case the input file is expected to be a coalgebra specification and the .out file should contain the expected output of the main binary when applied to the input.

For example, a files called foo containing a coalgebra should have a .out file with the output of:

stack exec ma < foo