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
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 defaultAlectryon
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.,