diff options
| author | Marvin Borner | 2024-02-29 11:35:25 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-29 11:35:25 +0100 |
| commit | 4c6386fd250e8447e76ec9dfb6e8f5a266a050e2 (patch) | |
| tree | 885850a60fa523c553f95411d0a826a0866a4020 /app/Main.hs | |
| parent | d28604e2ebe4c58a9eb0ac2d7763b55f6c0beaea (diff) | |
Added higher order reducer
Diffstat (limited to 'app/Main.hs')
| -rw-r--r-- | app/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs index 7e8d6ec..bbaea6a 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -32,8 +32,8 @@ args = ( long "reducer" <> short 'r' <> metavar "REDUCER" - <> value "RKNL" - <> help "Reducer (currently RKNL or ION)" + <> value "HigherOrder" + <> help "Reducer (currently RKNL, ION, or HigherOrder)" ) <*> optional (argument str (metavar "PATH" <> help "Path to file")) |