Re: Goals for GHC 8.8

Wolfgang Jeltsch writes:

Hi!

What happened to LinearTypes? Will it be in GHC 8.8?

It's unclear; the proposal authors (Arnaud is CC'd) will need to comment here. Cheers, - Ben