Open mkremins opened 8 years ago
At the moment, a "placeholder" is really just a special-cased :atom whose :text happens to be "...". We should probably establish a separate :type for placeholders (maybe :placeholder, maybe :hole) to clarify the distinction.
:atom
:text
"..."
:type
:placeholder
:hole
At the moment, a "placeholder" is really just a special-cased
:atom
whose:text
happens to be"..."
. We should probably establish a separate:type
for placeholders (maybe:placeholder
, maybe:hole
) to clarify the distinction.