2.6.0

2/2021 - 8/2022 (update to version 2.6.0)
Authors: Raef Khan, Kaustubh Ghosal, and Pinhan Zhao

Implemented Associativity and Commutativity.

Added bracket highlighting. Brackets now highlight green if there is a matching bracket, and red if a bracket is missing.

Fixed bug #28 and bug #25.

The calculator will now throw an error if a word is defined multiple times in the exercise file.

2.5.0

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.

2.4.0

7/2020 - 8/2020 (update to version 2.4.0)
Authors: Anna Alsop and Raef Khan

Function composition

New function composition rule added (issue #31)

Polymorphism revamp

Polymorphism functionality enhanced for complex variable types

Other bug fixes and new features

Variable types now display as Greek letters
Reload function made compatible with unsuccessful loads (issue #27)
Dialog window prompting user to save work before subsequent reload (issue #30)
After reloading, the same exercise is selected.

• Originally released on Oct 9, 2020 by Lucas Champollion

2.3.0

This version fixes bugs from 2.2.0:

• Lambda expressions can now have types with multiple adjacent open brackets
• Capital letters can now be used for types

The Windows version is now up-to-date with Mac OSX/Linux version. It is packaged as a zipfile, which extracts into a folder called LCSE. In this folder there are (i) an exe file and (ii) a folder called jre180 which contains an instance of the Java Runtime Environment 1.8. As long as (i) and (ii) are kept in the same folder, the application will run out of the box with no need to install Java separately.

• Originally released on Aug 26, 2019 by Anna Alsop

2.2.0: Merge branch 'product_types'

This version fixes bugs from 2.1.0, including:

• loading saved student exercises with traces

• applying functions with product types
  New features include:

• open window goes to Downloads directory

• enables nested product types

• Originally released on Sep 2, 2018 by Alex Warstadt

Version 2.1.1

This version is erroneous. The binaries are identical to 2.1.0, but the source code is a more recent version.

• Originally released on Aug 23, 2018 by Alex Warstadt

Version 2.1.0

Increasingly stable polymorphic derivations.

• Originally released on Dec 7, 2015 by Dylan Bumford

Version 2.0.1 Beta

New notation for polymorphic type variables.

• Originally released on Sep 6, 2014 by Dylan Bumford

Version 2.0.0 Beta

First update since 2008! Added support for type polymorphism, intensional function application, and typed indices and traces, as well as a little Mac nativization and a handful of big fixes.

• Originally released on Feb 6, 2014 by Dylan Bumford

Version 1.0.12

Last stable release from the first wave of the project

• Originally released on Sep 6, 2014 by Dylan Bumford