microsoft / Trieste

A term rewriting system for experimental programming language development.
MIT License
37 stars 20 forks source link

YAML 1.2 parser #93

Closed matajoh closed 5 months ago

matajoh commented 6 months ago

This PR adds a YAML 1.2 parser. In addition to the standard Trieste testing this also includes a test driver that runs the official YAML 1.2 test suite provided at https://github.com/yaml/yaml-test-suite.