Closed imustafin closed 1 month ago
Eiffel has Symbolic forms of loops like
∀ c: s ¦ f (c) ∃ c: s ¦ f (c) ⟳ c: s ¦ g (c); h (c) ⟲
Also the standard library of EiffelStudio has unicode aliases for several operators like ≤, ≥.
≤
≥
This PR adds them to the Eiffel lexer.
Before:
After:
Thank you, @imustafin. Changes LGTM 🚀
Eiffel has Symbolic forms of loops like
Also the standard library of EiffelStudio has unicode aliases for several operators like
≤
,≥
.This PR adds them to the Eiffel lexer.
Before:
After: