News for hackers. Stuff that matters.
Re:Show HN: Dependently typed language for proofs that you c... by gpderetta on Saturday October 02, 2021 @05:32AM (#28727298)
As someone that has very little idea of what all of that is, I think the title is great and certainly made me consider looking into the implementation.

It might be wildly optimistic, but encouraging people to learn new things, especially by trying, is always a good thing.

Re:Show HN: Dependently typed language for proofs that you c... by caotic123 on Sunday October 03, 2021 @04:33PM (#28740300)
Thank you, it is exactly what I was expecting people to understand!