News for hackers. Stuff that matters.

A comment on Programming Languages Going Above and Beyond. Parent comment

Re:Programming Languages Going Above and Beyond by xigoi on Thursday June 29, 2023 @06:35PM (#36527780)
I'm trying to learn Lean and like it, but it's terribly lacking documentation.
[ Parent | on HN ]
Re:Programming Languages Going Above and Beyond by lenocinor on Thursday June 29, 2023 @07:19PM (#36528167)
The lacking good docs was what stymied my group too.
[ Parent | on HN ]