Re: [ghc-steering-committee] #607: Amend #281 (visible forall) and #378 (Design of DH) to clarify treatment of term variables in types (rec: accept)

2 Sep 2023

      Hi,

Am Dienstag, dem 29.08.2023 um 08:48 +0200 schrieb Vladislav:
...
I recommend to accept. Please share your thoughts either here or
directly on GitHub.
all in support, merging.

Cheers,
Joachim

-- 
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/