Don’t get me wrong, I’d love for us to be able to write greek characters to match the math formula. I’d even go for a plugin that takes latex input and converts it to Unicode when reading the code. Readability is important
1 Like
I use latex input mode in emacs for writing Unicode in Haskell. There is also latex-unicoder.vim which seems to accomplish the same thing but I haven’t used it.
I also agree that being able to use Unicode has really helped me map formalism in a paper to Haskell and think more preciously between the paper and implementation recently.