News for hackers. Stuff that matters.

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

Re:Kind: A Modern Proof Language by Syzygies on Wednesday August 11, 2021 @01:03PM (#28144649)
"Idris 2" is clearly an influence. They both offer ChezScheme as a backend, for example.
[ Parent | on HN ]

There are no comments on this comment yet.