News for hackers. Stuff that matters.

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

Re:Kind: A Modern Proof Language by lizmat on Friday August 13, 2021 @05:17AM (#28166964)
I think the you mean: `subset Minor of Person where *.age < 18`
[ Parent | on HN ]

There are no comments on this comment yet.