   monadic '⊂', 'Enclose', (a) -> if isSimple a then a else withShape [], [a]
 
   # Partition (with axis) (`⊂`)
-  dyadic '⊂', 'Partition (with axis)' # TODO
+  dyadic '⊂', 'Partition (with axis)' # todo
 
   # Disclose (`⊃`)
   #

    else
      withShape sa[...-1].concat(sb[1...]), r

  monadic '⍕', 'Format'
  dyadic '⍕', 'Format by example or specification'

  # Execute (`⍎`)
  #

  #     1 1↓ 2 3 4⍴"ABCDEFGHIJKLMNOPQRSTUVWXYZ"    ⍝ returns 1 2 4 ⍴ 'QRSTUVWX'
  #     ¯1 ¯1↓ 2 3 4⍴"ABCDEFGHIJKLMNOPQRSTUVWXYZ"  ⍝ returns 1 2 4 ⍴ 'ABCDEFGH'
  #
  # todo: more tests
  #
  #     //#gives '1 ↓[1] 2 3 4⍴1+⍳24', [5..12].concat [17..24] # todo: drop with axis specification
  #     //#gives '1 ↓[2] 2 3 4⍴1+⍳24', [3, 4, 7, 8, 11, 12, 15, 16, 19, 20, 23, 24] # todo
