search

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
740 stars 134 forks source link

Possibly missing line in definition of lambda calculus #138

Closed cionx closed 10 months ago

cionx commented 1 year ago

The lambda calculus is currently defined as follows:

https://github.com/cs3110/textbook/blob/7b131977bcd587151bd700cd38ae83e72748a7fd/src/chapters/interp/substitution.md?plain=1#L668-L669

From what I understand, shouldn’t there also be an additional line for x ::= <identifier>?

clarksmr commented 10 months ago

I don't mind adding that, though I thought by that point it was clear from context.