HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.59k stars 142 forks source link

Allow @ Instead of Unicodes Lambda (λ) and For All (∀) #604

Open dellamora opened 1 month ago

dellamora commented 1 month ago

Descriptiopn

Currently, we use the Unicode λ (lambda) and ∀ (For all) symbol in the project to represent lambda expressions in our code. While this is the traditional notation, it can sometimes be inconvenient for those who don't have easy access to Unicode characters on their keyboard.

Request:

I would like to propose allowing the @ symbol to be used as an alternative to λ and ∀ in the source code, as @ is more accessible on standard keyboards and still widely recognizable as a placeholder for functions or expressions.