diff options
| author | Patrick Simianer <p@simianer.de> | 2015-12-14 12:44:06 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-12-14 12:44:06 +0100 |
| commit | 19541176d3f93e0092ca91b1413cafeceda6784e (patch) | |
| tree | f9b14f4b2dc3ece5bd65e25ecbb3299d95db27bb | |
| parent | c8bc64d31a3c345dcfa1a334652c490b8d5d2894 (diff) | |
description of input
| -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. + |