Option	Description
-i, --input	(Required) Input .vct source file path
-o, --output	Output .cpp file path (default: same as input with .cpp)
--no-run	Skip compilation and execution steps
-l, --logs	Enable detailed logs
-c, --show-code	Show generated C++ code in the console
-t, --timing	Show detailed timing information for each step

Run command: ./vct -i first -l

.vct syntax

~<s [k:+, n:+]:++>[ .->(=(k,n)); ]

~<a [x:+[], n:+]>[ 
  <...[~i::0, <(n), +1]>[
    ->(-, x@i, ' ');
  ]
  ->();
]

~<b [k:+, n:+, x:+[], used:+[]]>[ 
  <...[~i::0, <(n), +1]>[
    <.[!(used[i])]>[
      x@k=i+1;
      used@i = 1;
      <.[s(k + 1, n)]>[
        .a[x, n];
      ].[
        .b[k + 1, n, x, used];
      ]
      used@i = 0;
    ]
  ]
]

<[]>[
  ->("Enter n:");
  ~n:+:<-;
  ~x:+[n]:[0];
  ~used:+[n]:[0];
  .b[0, n, x, used];
  .->(+(-1,0,1));
]