What's new in The Penn Lambda Calculator 1.0.12
May 6, 2010
- Fixed alphabetical variants of { x | ... } notation.
- Fixed loading saved exercise files that use the new expression types.
New in The Penn Lambda Calculator 1.0.11 (May 6, 2010)
- Treat { x | ... } as a binder.
- In the scratch pad window, when there's a syntax error in the problem
- statement, move the cursor to the location of the problem.
- Allow the empty set symbol and raw integer numbers to be used in predicate logic expressions.
New in The Penn Lambda Calculator 1.0.10 (May 6, 2010)
- Added to our predicate logic:
- Set notations { a, b, c } and { ... | ... }.
- Set intersection, union, subset, proper subset, superset, proper superset, and cardinality.
- Integer multiplication. This is for the 'most' generalized quantifier.
- Integer greater than, less than, those + or equal.
- Added a new example file and updated the documentation for generalized
- quantifiers.
New in The Penn Lambda Calculator 1.0.09 (May 6, 2010)
- Allow omega and sigma symbols to be included in logical expressions.
- Improved the naming conventions display for multiple letter identifiers.
- In exercise files, parse multiple letter type conventions.
- Update docs and example file.
New in The Penn Lambda Calculator 1.0.08 (May 6, 2010)
- Corrected a problem reading exercise files saved in UTF8 with an initial
- byte order marker.
- Corrected a problem saving exercise files with meaning brackets.
New in The Penn Lambda Calculator 1.0.07 (May 6, 2010)
- Corrected a problem saving exercise files with identifier conventions
- without explicit description text.
- Fix typo-type mistakes in example2.txt