Skip to content

Define substitute, split off generic code#12

Merged
mtfishman merged 7 commits intomainfrom
mf/substitute
Oct 8, 2025
Merged

Define `substitute`, split off generic code#12
mtfishman merged 7 commits intomainfrom
mf/substitute

Commits

Commits on Oct 8, 2025