Version 1.0.0

This is the first formal release of LeanInk.
Please take a look at the README.md to learn more about usage and all features supported by LeanInk.

The official version of Alectryon does not yet support LeanInk, until the first of two pull requests is merged. Until then please use our Alectryon Fork to test LeanInk.

Improvements since last release

• Greatly reduce complexity of Alectryon output algorithm
• Add tailPos property to Compound
• Filter empty output fragments in Alectryon output
• Output .leanInk as compressed JSON instead of prettified JSON (use --verbose to output a prettified version)
• Greatly improve performance of compound generation (matchTokens)
• Traverse each InfoTree in seperate and concurrent task
• Fallback to standard library if provided lakefile does not exist
• Fix incorrect termination guard in InfoTree traversal
• Activate additional metadata export for test case outputs
• Catch pretty printing errors (thanks @Kha)
• Improve the output format of messages