soma embed
Serve a program to a host process over stdin / stdout, one JSON object per line (the Python and TypeScript packages use it).
soma embed is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:
$ soma embed --help
Serve a program to a host process over stdin / stdout, one JSON object per line (the Python and TypeScript packages use it)
Usage: soma-v3.2.4 embed [OPTIONS] <FILE>
Arguments:
<FILE> The program
Options:
--stdlib <STDLIB> Path to stdlib directory (default: auto-detect)
-h, --help Print help