Talk:Trivial substitution

Should this be folded into simple translation? Corbin (talk) 16:08, 27 June 2025 (UTC)

As currently written, this page conflates syntax and semantics. Corbin (talk) 05:19, 3 July 2025 (UTC)