4 ms·
I think that is unnecessarily hostile; I believe Lean 4 can become a very capable programming language for mundane tasks!
by ykonstant 3y ago
I think that is unnecessarily hostile; I believe Lean 4 can become a very capable programming language for mundane tasks!
- uxp8u61q 3y agoHostile? I just stated that the audience isn't programmers.
- 7373737373 3y agoThe age of guilds has long passed Are people like these not programmers? https://leandojo.org/ https://leandojo.org/