Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tel
on Aug 27, 2016
|
parent
|
context
|
favorite
| on:
Types
Not all types need to have induction principles. The ones that do are nicer, of course, precisely because they correspond to values.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
