2 May
2016
2 May
'16
8:20 p.m.
+1 to ":types". Easy to remember as well: "Do I want one type, or multiple
types?".
On Mon, May 2, 2016 at 3:43 PM, Jack Henahan
What about :type for the normal behavior and :type! for specializations? With the notion that it could be extended to provide multiple specializations, I could also see :types (both meaning "display multiple example types" and serving as a mnemonic for :types[pecialization]) being viable.