search

microsoft / Trieste

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

Improvements to logging #81

Closed mjp41 closed 11 months ago

mjp41 commented 11 months ago

This PR is based on moving rego-cpp to using this logging library. Mostly the changes are minor.