It's worth noting that the book is written by the creator of Idris. | Hacker News

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

Buttons840 on May 26, 2020 | parent | context | favorite | on: Why is Idris 2 so much faster than Idris 1?

It's worth noting that the book is written by the creator of Idris.

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