I had to write my own substitution in https://github.com/liesnikov/extensible-elaborator and without generic functions it was rather annoying, so I factored out and exposed the module, now upstreaming the changes.
It's not a breaking change, but I felt like a minor version bump was appropriate, happy to revert this though.
I had to write my own substitution in https://github.com/liesnikov/extensible-elaborator and without generic functions it was rather annoying, so I factored out and exposed the module, now upstreaming the changes.
It's not a breaking change, but I felt like a minor version bump was appropriate, happy to revert this though.