Rendering and metalanguage updates

(Note: released on 9-27 on pypi, but I didn't mark the github tag as a release)

[0.7.0] - Rendering and metalanguage updates - 2023-09-27

New features:

• support rendering in colab
• quicker loading without the kernel (import lamb.auto)
• refactor metalanguage code: better support for new operators

Fixes:

• fix several polymorphic type inference issues
• improved ipython/jupyter rendering

Incremental release

(Missed tagging this at the time of original release on PyPI)

[0.6.9] - Compatibility fix - 2022-06-18

Fix a python 3.10 compatibility bug

Incremental release: vacuity improvements

The v0.6.7 tag was a false start, here are the changes from both:

[0.6.7] - Vacuity improvements - 2021-10-18

New features:

• composition rule for index percolation in tree composition
• composition rule for vacuous nodes (with content=None)

Fixes, improvements, changes (highlights):

• improve and generalize lang.Binder behavior
• enable svgling for internal tree drawing
• improvements to the relative clause notebook

[0.6.8] - Vacuity improvements - 2021-10-18

Fixes, improvements, changes (highlights):

• correctly pin the right traitlets version

Bugfix release for PyPI

The main change in this release is completely refactored installation and setup, and distribution via PyPI.

[0.6.6] - Bugfix release - 2021-10-11

New features:

• added an explicit changelog
• experimental support for derivations shown using svgling trees
• full support for installation in site-packages, better kernel installation

Fixes, improvements, changes (highlights):

• improve derivation rendering
• improve cross-browser compatibility
• improve error messaging and handling of composition failures

Interim release for semantics 1

This release includes major fixes for partiality, the use of travis for automated testing, as well as a number of other smaller bug fixes and changes.

Interim release for semantics 1

This interim release includes an implementation of partiality in the metalanguage, as well as a number of other fixes and changes. The partiality implementation is still not quite final, so it's not a new version.

Interim release for semantics 1

This adds in a number of small fixes that improve how the notebook works for current infrastructure software, rendering, etc.

Version 0.6.2 - Fixes for 0.6.1

• Fix problems running on windows
• Clean up startup from the command line
• add explicit versioning

Version 0.6.1 - Fixes for 0.6

Jumped the gun a little bit, some notebooks needed more updating.

Version 0.6 - Type system overhaul

Major update overhauling the type system completely, as well as numerous minor changes.

This version requires separate Jupyter notebook, e.g. Jupyter 4 or later.

No binary release at this point; this is still alpha.