Thanks for the links! If Haskell is more your style than Racket, there's a Haske... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		d_christiansen on Oct 11, 2022 \| parent \| context \| favorite \| on: The Little Typer (2018) 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... .

nequo on Oct 12, 2022 [–]

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!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact