TorchLean Example Runner

Executable root for the torchlean example runner.

Each example keeps its own namespace, and this module selects which one to run from a subcommand argument such as mlp or gpt2.

def NN.Examples.Models.Runner.usage : String

def NN.Examples.Models.Runner.splitCommandArgs? (args : List String) : Option (List String × String × List String)

Split CLI arguments into (prefixFlags, command, commandArgs).

We allow "global" runtime flags before the command name so users can write either:

• torchlean mlp --cpu, or
• torchlean --cpu mlp.

def NN.Examples.Models.Runner.splitCommandArgs?.go (prefixRev : List String) : List String → Option (List String × String × List String)

def NN.Examples.Models.Runner.runCmd (cmd : String) (args : List String) : IO UInt32

def main (args : List String) : IO UInt32