Zulip Chat Archive
Stream: lean4
Topic: What do e@, nm@ stand for?
Evgenia Karunus (Nov 25 2022 at 13:34):
What do e@/nm@ stand for/used for?
Kyle Miller (Nov 25 2022 at 13:41):
When you have v @ pattern, then the entire expression that the pattern matches is assigned to the variable v as well.
Last updated: May 02 2025 at 03:31 UTC