3 ms·
The PureScript ligature `<=` should not be a `less than or equal`, because it could also be the left double arrow. Better don't use it at all.
by ReleaseCandidat 5y ago
The PureScript ligature `<=` should not be a `less than or equal`, because it could also be the left double arrow. Better don't use it at all.
- bitwize 5y agoAll the more reason to forgo programming ligatures altogether.
- ReleaseCandidat 5y agoThat's easy to do, just don't enable them in your editor.