[Bug-apl] Exercise on ⎕ts.

[Christian Robert]

      ⎕ts
2017 1 11 21 41 9 83

I need a Lambda able to convert a ⎕ts like above to a sortable string like:

address@hidden: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.