v1.1.0

What's Changed

• Feature: L-System Program Generation & Reverse Grammar Unparsing by @mlhaufe in #39
• Feature: Native Metatheory & Proof Verification Engine (Progress, Preservation) by @mlhaufe in #40

Full Changelog: v1.0.1...v1.1.0

v1.0.1

What's Changed

• feat: update README and version to 1.0.1 for improved clarity and accuracy by @mlhaufe in #37

Full Changelog: v1.0.0...v1.0.1

v1.0.0

What's Changed

• converted to Deno by @mlhaufe in #1
• chore: add devcontainer extensions, GitHub CLI feature, and formatOnS… by @mlhaufe in #2
• feat: add chain combinator (monadic bind) and semantics-as-grammar ex… by @mlhaufe in #5
• ci: add publish job to release workflow for JSR by @mlhaufe in #6
• docs: add JSDoc to exported symbols and replace Mermaid diagrams with SVGs for JSR by @mlhaufe in #8
• Feature: Grammar-native contracts (@requires/@ensures/@rescue) for semantic actions by @mlhaufe in #9
• Improve grammar definition clarity and brevity by @mlhaufe in #12
• Add tree-consuming grammars for uniform multi-pass semantics (#11) by @mlhaufe in #13
• Type-safe @ensures/@requires: infer args/result types from the decorated method by @mlhaufe in #15
• treeKey fails for objects with non-enumerable state by @mlhaufe in #17
• Contract Metadata Exposure by @mlhaufe in #20
• Positional/Compositional Parsing Primitives (incremental, parallel, IDE) by @mlhaufe in #22
• Circular Attribute Flow by @mlhaufe in #24
• Retained Derivation Tree + Decorator Composition for Multi-Pass Grammars by @mlhaufe in #26
• Auto-generate TreeExp decorator skeletons from @rule metadata by @mlhaufe in #27
• Parameterized @rule Memoization Re-entry Produces Duplicate Results by @mlhaufe in #29
• Exponential duplicate parse results (2ⁿ) persist after v4.0.1 fix for multi-arg variant construction with a @rule ws getter by @mlhaufe in #31
• Move memo storage from shared Exp nodes to per-driver Map, eliminating cross-driver memo corruption by @mlhaufe in #33
• Rename project to LangForma by @mlhaufe in #36

New Contributors

• @mlhaufe made their first contribution in #1

Full Changelog: https://github.com/lapis-lang/lang-forma/commits/v1.0.0