News for hackers. Stuff that matters.

A comment on Nim Version 1.6.6 Released. Parent comment

Re:Nim Version 1.6.6 Released by sharno on Thursday May 05, 2022 @10:30AM (#31273808)
Lean the theorem proving language?
[ Parent | on HN ]
Re:Nim Version 1.6.6 Released by rosetremiere on Thursday May 05, 2022 @10:44AM (#31274019)
Indeed, though I have no quote or link for this "claim".
[ Parent | on HN ]
Re:Nim Version 1.6.6 Released by xigoi on Friday May 06, 2022 @12:07AM (#31281202)
Well, functional programming is very natural for theorem provers, especially those based on the Curry-Howard correspondence.
[ Parent | on HN ]