Arcyóu, 27 bytes
(@ t(pn(zz 1)(p(st %H:%M:%S
I had to kludge together two new functions for this challenge, zz
and st
.
pn
: Exactly like Lisp's progn
.
zz
: Direct link to Python's time.sleep
.
st
: Direct link to Python's time.strftime
.
Normally, quotes would be necessary around the format string, but since there are no spaces, it's parsed as a symbol. The interpreter parsesevaluates undefined symbols as themselves, so we get a string.