News for hackers. Stuff that matters.

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

Re:Kind: A Modern Proof Language by hyperpallium2 on Wednesday August 11, 2021 @10:09PM (#28150826)
Without {}, it's insufficiently C-like http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m...
[ Parent | on HN ]

There are no comments on this comment yet.