Skip to content

2.5.0

Choose a tag to compare

View all tags
@aualsop aualsop released this 25 Jan 22:25
2.5.0
b4380cf
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

12/2020 - 1/2021 (update to version 2.5.0)
Authors: Anna Alsop, Raef Khan, and Nigel Flower

Renamed "Lambda Abstraction" to "Predicate Abstraction" to facilitate clarity with the textbook.

Fixed bug #23

Implemented matching with variable types and constant types in student exercises.

Removed Save Dialogue on Reload

In the teacher edition, when reloading a file, the GUI no longer asks the user to save unsaved work.

Assets 5
Loading