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"