Fix import in `README.Data.Fin.Substitution.UntypedLambda`#2279

Merged

jamesmckinna merged 1 commit intomasterfrom

substitution-untyped-lambda

Feb 7, 2024

Commits on Feb 7, 2024

Fix import in README.Data.Fin.Substitution.UntypedLambda
andreasabel
committed