search

nigelflower / LambdaCalculator-Issues

pedagogical tool for students of natural language semantics
http://lambdacalculator.com/
0 stars 0 forks source link

* binds more tightly than implicit comma when specifying types #20

Open nigelflower opened 3 years ago

nigelflower commented 3 years ago

created by aualsop on Jul 6, 2020

When specifying the types of constants in exercise files, implicit commas should bind more tightly than *. Currently the opposite is the case.

For example, the command constants of type <e*st,st>: P assigns constant P the incorrect type <<e*s,t>,<s,t>. The expected type is <e*<s,t>,<s,t>>.