Hacker News new | past | comments | ask | show | 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.

Applications are open for YC Summer 2023

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