News for hackers. Stuff that matters.

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

Re:Kind: A Modern Proof Language by haskellandchill on Wednesday August 11, 2021 @02:11PM (#28145555)
Kindlang, problem solved
[ Parent | on HN ]
Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @04:28PM (#28147314)
Speaking of names, I love yours
[ Parent | on HN ]