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 d_christiansen on Tuesday October 11, 2022 @01:42PM (#33166335)
Thanks for the links! If Haskell is more your style than Racket, there's a Haskell version of the implementation tutorial at https://davidchristiansen.dk/tutorials/implementing-types-hs... .
[ Parent | on HN ]
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 ]