search

microsoft / Trieste

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

Tracking lift and error nodes. #69

Closed mjp41 closed 12 months ago