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

Not all types need to have induction principles. The ones that do are nicer, of course, precisely because they correspond to values.



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

Search: