Task

Produce a formatted   12×12   multiplication table of the kind memorized by rote when in primary (or elementary) school.



Only print the top half triangle of products.




Table ← {
  m ← •Repr¨ ×⌜˜1+↕𝕩             # The numbers, formatted individually
  main ← ⟨                       # Bottom part: three sections
    >(-⌈10⋆⁼𝕩)↑¨⊏m               # Original numbers
    𝕩⥊'|'                        # Divider
    ∾˘(-1+⌈10⋆⁼𝕩×𝕩)↑¨(≤⌜˜↕𝕩)/¨m  # Multiplied numbers, padded and joined
  ⟩
  head ← ' '¨⌾⊑ ⊏¨ main          # Header: first row but with space left of |
  ∾ >⟨head, "-+-"⊣¨¨head, main⟩  # Header, divider, and main
}
 
•Out˘ Table 12