Restore ability to indent NodeDef::str() - Githubissues

microsoft / Trieste

A term rewriting system for experimental programming language development.

MIT License

37 stars 20 forks source link

Restore ability to indent NodeDef::str() #97

Closed sylvanc closed 5 months ago