We're thinking of replacing the `(= 5)` operator section notation with a more mathy `· = 5`. This both makes parsing easier and less ambiguous (think `(-1)`) and extends naturally to notations of higher arity (`Γ ⊢ · : ·`).
Conversation
this strikes me as very similar to Perl 6's * syntax: docs.perl6.org/type/Whatever
I never made the connection between this and mathy notation, but it's totally true...
1
1
2
tbh I'm not sure what to make of Cool though: docs.perl6.org/type/Cool
1
1
Show replies