Re: Feature request: Customize equality predicate for pattern variables

Show/hide message thread

Feature request: Customize equality predicate for pattern variables Marc Nieper-Wißkirchen (05 Sep 2020 15:20 UTC)
Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (13 Sep 2020 10:25 UTC)
Re: Feature request: Customize equality predicate for pattern variables Marc Nieper-Wißkirchen (13 Sep 2020 13:08 UTC)
Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (13 Sep 2020 13:41 UTC)
Re: Feature request: Customize equality predicate for pattern variables Marc Nieper-Wißkirchen (13 Sep 2020 13:55 UTC)
(missing)
(missing)
Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (18 Sep 2020 22:56 UTC)
Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (20 Sep 2020 01:04 UTC)

Re: Feature request: Customize equality predicate for pattern variables Felix Thibault 18 Sep 2020 22:56 UTC