3 ms·
> λx.x can be written as λ.0 Reading the wikipedia entry, I thought it would be written as λ.1
by platz 11y ago
> λx.x can be written as λ.0
Reading the wikipedia entry, I thought it would be written as λ.1
- wetmore 11y agoOof, 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.