microsoft / Trieste

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

Optimisation #66

Closed mjp41 closed 1 year ago

mjp41 commented 1 year ago

I think this is about as far as I can get with dynamic optimisations. Static will be in a next PR - templates all the way.