New EEP draft: Pinning operator ^ in patterns

[Eugene]

On 1/14/21 3:58 PM, Raimo Niskanen wrote:
> On Mon, Jan 11, 2021 at 02:50:46PM +0100, Eugene wrote:
>> annotating UNbound variable will take less symbols.
>> far far far less.
>>
> 
> Every time you introduce a new variable, it is unbound.
> 
> Do you claim that matching an already bound variable is more common?

not matching,
mentioning.

i hope you are not trying to introduce another
context-dependant mental mess.