Commit 2e9f2447 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Fix examples/README.md

Corrects some typos and fixes the stack command used to execute the examples.
parent 9c877832
# 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.
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 CoPaR's `refine` command when applied to the input.
For example, a files called `foo` containing a coalgebra should have a
`.out` file with the output of:
For example, a file called `foo` containing a coalgebra should have a `.out`
file with the output of:
stack exec ma < foo
stack exec copar refine < foo
Markdown is supported
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