Re: [ghc-steering-committee] #555: Higher Order Patterns in Rewrite Rules, rec accept

Hi, Am Dienstag, dem 10.01.2023 um 12:17 +0100 schrieb Joachim Breitner:

Therefore, I’m recommending acceptance.

since I got only positive or no feedback, I’m marking this as accepted. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/