News for hackers. Stuff that matters.

A comment on Lean 4.0.0, first official lean4 release. Parent comment

Re:Lean 4.0.0, first official lean4 release by ykonstant on Friday September 08, 2023 @09:47AM (#37433436)
I think that is unnecessarily hostile; I believe Lean 4 can become a very capable programming language for mundane tasks!
[ Parent | on HN ]
Re:Lean 4.0.0, first official lean4 release by uxp8u61q on Friday September 08, 2023 @10:33AM (#37434006)
Hostile? I just stated that the audience isn't programmers.
[ Parent | on HN ]
Re:Lean 4.0.0, first official lean4 release by 7373737373 on Friday September 08, 2023 @11:50AM (#37435218)
The age of guilds has long passed

Are people like these not programmers? https://leandojo.org/

[ Parent | on HN ]