News for hackers. Stuff that matters.

A comment on Kind: A Modern Proof Language. Parent comment

Re:Kind: A Modern Proof Language by lenkite on Thursday August 12, 2021 @04:53AM (#28153778)
I guess you will hate both Rust and Go ?
[ Parent | on HN ]

There are no comments on this comment yet.