microsoft / Trieste

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

Documentation update #103

Closed matajoh closed 5 months ago

matajoh commented 5 months ago

This update adds documentation for the JSON and YAML parsers and updates the infix tutorial code to use Reader, Writer, and Rewriter. Some minor changes were also made which ease use.

This PR also adds a yamlc utility for converting YAML to event files, JSON, and canonical YAML. It is intended to be used for systematic testing of the implementation by external testing code, and also as a usage example for the implementation.