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 (29 Jul 2021 06:14 UTC)

Re: Possible ambiguity in pattern-matching and renaming semantics Daphne Preston-Kendal (14 Oct 2021 12:33 UTC)