Commit ac9635fc authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Add README to examples directory

parent 326bc86f
# 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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment