Tariq on Nostr: There's a discussion happening on the #lean user forums about 5 - 3 = 2 being ...
There's a discussion happening on the #lean user forums about
5 - 3 = 2 being problematic
And
3 - 5 = 0 being ok
I have to say, I think this is failing in making a language accessible to newcomers, making it intuitive and "no surprises"
The discussion does cover "complicated reasons" but I believe easy things should remain easy as a general principle of good design.
5 - 3 = 2 being problematic
And
3 - 5 = 0 being ok
I have to say, I think this is failing in making a language accessible to newcomers, making it intuitive and "no surprises"
The discussion does cover "complicated reasons" but I believe easy things should remain easy as a general principle of good design.