-
For those who are searching for proposal - https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
The excellent tool klfc, by the way written in Haskell, allows one to put useful symbols to the keyboard in a matter of minutes. Try it!
-
I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-3.1.14.0/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.
-
As of 2013, Idris does not want to even support user defined Unicode operators, for the usual reasons.
-
PureScript supports Unicode syntax and user defined operators. There is a Unicode prelude.
-
Julia uses a lot of Unicode, since 2014.