Don't reset a parent pointer if the child isn't owned - Githubissues

microsoft / Trieste

A term rewriting system for experimental programming language development.

MIT License

38 stars 20 forks source link

Don't reset a parent pointer if the child isn't owned #78

Closed sylvanc closed 11 months ago