Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
SkySkimmer
3 months ago
|
parent
|
context
|
favorite
| on:
Typechecking is undecideable when 'type' is a type...
>if in forall A, B A is of type
_i and B is of type
_j, forall A, B is of type type *_(max(i, j) + 1).
Minor correction: no +1 in forall
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Minor correction: no +1 in forall