diff options
Diffstat (limited to '')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index bd31326..6f15868 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -659,23 +659,6 @@ Inpla has the following macro: -c Enable output of compiled codes (Default: disable) -h Print this help message -foptimise-tail-calls Enable tail call optimisation (Default: disable) - - Inpla version 0.12.0 - Usage: inpla [options] - - Options: - -f <filename> Set input file name (Default: STDIN) - -d <Name>=<val> Bind <val> to <Name> - -Xms <num> Set initial heap size to 2^<num> (Default: 12 (=4096)) - -Xmt <num> Set multiple heap increment to 2^<num> (Default: 3 (= 8)) - 0: the same size heap is inserted when it runs up. - 1: the twice (=2^1) size heap is inserted. - -Xes <num> Set initial equation stack size (Default: 256) - -t <num> Set the number of threads (Default: 8) - -w Enable Weak Reduction strategy (Default: false) - -c Enable to output compiled codes (Default: disable) - -h Print this help message - -foptimise-tail-calls Enable tail call optimisation (Default: disable) ``` **Note**: |