diff options
| -rw-r--r-- | derivation_to_json/README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/derivation_to_json/README.md b/derivation_to_json/README.md index 341f866..eb2e3fe 100644 --- a/derivation_to_json/README.md +++ b/derivation_to_json/README.md @@ -7,3 +7,6 @@ To run: ./derivation_to_json.rb < {one of the .raw files} (first line of stdout is json data, source and target strings follow after that) +The first line of the input is the derivation as string, the following lines +are the rules used in the derivation. + |