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: Dec 20 2023 at 11:08 UTC