Re: Possible ambiguity in pattern-matching and renaming semantics

Possible ambiguity in pattern-matching and renaming semantics Daphne Preston-Kendal (28 Jul 2021 19:22 UTC)

Re: Possible ambiguity in pattern-matching and renaming semantics Marc Nieper-Wißkirchen (28 Jul 2021 21:11 UTC)

Re: Possible ambiguity in pattern-matching and renaming semantics Marc Nieper-Wißkirchen 28 Jul 2021 21:11 UTC