Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

No, this is the time complexity of type checking before any computation on the terms is performed.


Yes I am saying that while it is exponential with respect to the input, and it is polynomial with respect to the output.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: