Hacker News new | ask | show | jobs
by samatman 4450 days ago
Consider the case of a simple type system, where any statement in the language is of either type "true" or type "false"....