3 ms·
You don't think λ-calculus deserves the symbol `λ!` in Rust? Anyone who is learning or interested in λ-calculus should be aware of what it means (that's the who
by nixpulvis 7y ago
You don't think λ-calculus deserves the symbol `λ!` in Rust? Anyone who is learning or interested in λ-calculus should be aware of what it means (that's the whole point).
I generally agree we should all be so fortunate as to be able to read the code put in front of us.
And you clearly know how to type a λ, you did it 6 times in your post.
- est31 7y ago> And you clearly know how to type a λ I copy-pasted it. If there is no source to copy-paste from I'd have to use google. Don't want to be forced to do either in my code.
- deleted 7y ago[deleted]
- db48x 7y agoYour computer has better tools that don't require you to google it. Even the character picker is better, since it doesn't require loading a webpage (and some operating systems have better character picker programs than others). Emacs lets you directly search for a character by name; perhaps your favorite editor has a similar capability. If it doesn't, perhaps you could improve your editor.
- deleted 7y ago[deleted]