main

Where

Let (main args)
    Let numbers
        (LIST.fold args []
            Func arg numbers.
                Match (Z.read arg)
                | `just.n (n :: numbers)
                | `nothing numbers
                ;)
    In
    (LIST.for_each (SORT.list_insertion Z.compare numbers)
        Func n.
            (STDIO.print_line (Z.show n)))

Where

Let LIST Package "list"
Let SORT Package "sort"
Let STDIO Package "stdio"
Let Z Package "z"