Hacker News new | ask | show | jobs
by steveklabnik 3964 days ago
We do desire type-level integers, yes. There hasn't been an RFC yet, though.