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

> λx.x can be written as λ.0

Reading the wikipedia entry, I thought it would be written as λ.1




Oof, that's my mistake, I didn't notice that the indexing system TAPL uses starts at 0, while Wikipedia starts at 1. I'll add a note about that to the post now.




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: