Quickstart: Tensor Basics

This first TorchLean example introduces typed tensor construction, reshaping, and element-type conversion.

What it covers:

• rank-zero and arbitrary-rank literals,
• reshaping without changing entry order,
• the fact that the element type α selects the tensor's arithmetic,
• conversion to native Float32.

Run: scripts/lake.sh exe torchlean quickstart_tensors

def NN.Examples.Quickstart.TensorBasics.usage : String

Command-line help for the tensor-basics quickstart.

def NN.Examples.Quickstart.TensorBasics.main (args : List String) : IO Unit

Entry point. Nothing to configure, so the only accepted argument is --help.