Monadic Down Tack is not defined
Dyadic Down Tack means
2 2 2 2 ⊤ 5 7 12 ⍝ binary encode
0 0 1
1 1 1
0 1 0
1 1 0
⍝ mixed radix: encode of 10000 seconds
⍝ to hours, minutes and seconds:
24 60 60 ⊤ 10000
2 46 40
Monadic Down Tack is not defined
2 2 2 2 ⊤ 5 7 12 ⍝ binary encode
0 0 1
1 1 1
0 1 0
1 1 0
⍝ mixed radix: encode of 10000 seconds
⍝ to hours, minutes and seconds:
24 60 60 ⊤ 10000
2 46 40