News for hackers. Stuff that matters.

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

Re:Kind: A Modern Proof Language by sadfev on Wednesday August 11, 2021 @11:30AM (#28143214)
Thanks for clarifying, I haven’t studied co-inductive types yet.
[ Parent | on HN ]

There are no comments on this comment yet.