Skip to content
This repository was archived by the owner on Aug 24, 2024. It is now read-only.

Version 1.0.0-beta1

Pre-release
Pre-release
Compare
Choose a tag to compare
@insightmind insightmind released this 09 Feb 00:36
· 94 commits to main since this release
8471b60

This is the first beta of LeanInk.
It now includes all features that we anticipated for the first release and for our thesis.

New Features since 1.0.0-pre.3

  • Implement Output structure to use custom Output type instead of default Alectryon type. The interface is not ideal right now and will probably undergo some changes in the near future.
  • --x-enable-semantic-token experimental feature that extracts the SemanticToken types for each token. This is used to implement semantic syntax highlighting in our fork of Alectryon.,