microsoft / Trieste

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

Improve type resolution #38

Closed sylvanc closed 1 year ago