# Changelog

All notable changes to this crate will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).

## [Unreleased]

## [0.8.12] - 2026-02-14

Synced to workspace version 0.8.12. See root CHANGELOG for full history.

## [0.6.0] - 2026-01-17

Initial crates.io release.

### Added

- English to first-order logic transpilation pipeline
- Lexer with tokenization for natural language input
- Parser with arena-allocated AST nodes
- Quantifier scope resolution (universal, existential, negation)
- Modal operators (necessity, possibility, deontic)
- Temporal logic (tense, aspect)
- Wh-questions and relative clause handling
- Reflexives and reciprocals
- Parse forest generation for structural ambiguity
- Optional `dynamic-lexicon` feature for runtime vocabulary
