Stream: Beginner Questions

Topic: Non-ambiguous syntax for typing

Lukas Stevens (Feb 17 2023 at 16:00):

Is there some kind of trick to make the syntax $\_ \vdash \_ : \_$ non-ambiguous? As it is it overlaps with the syntax $:$ for $\in$.

Jan van Brügge (Feb 17 2023 at 16:15):

I usually just do no_notation Set.member ("(_/ : _)" [51, 51] 50) because AFAIK noone uses it anyways

Last updated: Apr 25 2024 at 08:20 UTC