microsoft / Trieste

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

Prevent WF checking on terms with errors. #107

Closed mjp41 closed 4 months ago