⎕ts
2017 1 11 21 41 9 83
I need a Lambda able to convert a ⎕ts like above to a sortable string like:2017-01-11@21:41:09.083 Leading zeroes on all fields are very important. field size are 4 2 2 2 2 2 3 and they should be filled with leading '0' yes, I can make a function to do that, but I wonder if it may be done by just a Lambda ? Xtian.
