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

Curious about the downvotes on this. Seems accurate.



well, yes, unless they can proove that System F is equivalent in expressive power to λω in which case they can go fetch their Turing prize.




Consider applying for YC's W25 batch! Applications are open till Nov 12.

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

Search: