Hacker News new | past | comments | ask | show | jobs | submit login

I read it 2 years ago while I was sick with COVID. It was a lot of fun, it was pretty easy, but also very interesting. It was not a big time commitment. I learned a lot about dependent types. I recommend it.



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

Search: