v2.4.0 Student edition: program doesn't accept student input containing variables generated by traces
To reproduce, open attached file with student edition 2.4.0. Click on Select Function Application. Type in [λx.[bought(x,v1)]] and press Return.
Expected behavior: this should be accepted as the correct answer.
Actual behavior: program rejects answer and gives "That's not right. I'm afraid I can't help you here." message.
Workaround: type in [λx.[bought(x,v1_e)]] and press Return
bug_240SE_traces.txt Alternatively, use student edition 2.3.0 (available for download at http://lambdacalculator.com/).
Identified by Liz Coppock, who reports that it doesn't occur in 2.3.0.
v2.4.0 Student edition: program doesn't accept student input containing variables generated by traces
To reproduce, open attached file with student edition 2.4.0. Click on Select Function Application. Type in [λx.[bought(x,v1)]] and press Return. Expected behavior: this should be accepted as the correct answer. Actual behavior: program rejects answer and gives "That's not right. I'm afraid I can't help you here." message. Workaround: type in [λx.[bought(x,v1_e)]] and press Return bug_240SE_traces.txt Alternatively, use student edition 2.3.0 (available for download at http://lambdacalculator.com/).
Identified by Liz Coppock, who reports that it doesn't occur in 2.3.0.