Conversation

things get kinda weird kinda fast if you redefine lambdas (and therefore parameter introduction) as effects …and I kinda really like it

Replying to

Can you do definition introduction as an effect too?

Replying to

I think it’s dual, a handler.