News for hackers. Stuff that matters.

A comment on The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time. Parent comment

Re:The Little Typer – The Beauty of Dependent Type Systems, ... by nequo on Wednesday October 12, 2022 @12:39AM (#33172926)
The Strange Loop talk was very enjoyable. You are a gifted public speaker. And I just want to say that I am excited to read your book on Lean in full, too!
[ Parent | on HN ]

There are no comments on this comment yet.