TorchLean Example Runner

This module is the executable root for the torchlean example runner.

We keep each example's implementation namespaced (so NN.Examples.Zoo can import them all), and select which example to run based on a subcommand argument (e.g. mlp, 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