diff --git a/README.md b/README.md index 2ff0424..9cec251 100644 --- a/README.md +++ b/README.md @@ -75,8 +75,8 @@ tricu eval [OPTIONS] -f --file=FILE Input file path(s) for evaluation. Defaults to stdin. - -t --form=FORM Optional output form: (fsl|tree|ast|ternary|ascii). - Defaults to fsl "Fork Stem Leaf" form. + -t --form=FORM Optional output form: (tree|fsl|ast|ternary|ascii). + Defaults to tricu-compatible `t` tree form. tricu decode [OPTIONS] Decode a Tree Calculus value into a string representation. diff --git a/src/Main.hs b/src/Main.hs index 11eba15..4ef49ab 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -30,9 +30,9 @@ evaluateMode = Evaluate { file = def &= help "Input file path(s) for evaluation.\n \ \ Defaults to stdin." &= name "f" &= typ "FILE" - , form = FSL &= typ "FORM" - &= help "Optional output form: (fsl|tree|ast|ternary|ascii).\n \ - \ Defaults to fsl \"Fork Stem Leaf\" form." + , form = TreeCalculus &= typ "FORM" + &= help "Optional output form: (tree|fsl|ast|ternary|ascii).\n \ + \ Defaults to tricu-compatible `t` tree form." &= name "t" } &= help "Evaluate tricu and return the result of the final expression."