[ghc-steering-committee] What do we need from the linear-types proposal?

[Richard Eisenberg]

> On Nov 27, 2017, at 9:58 AM, Simon Peyton Jones <simonpj at microsoft.com> wrote:
> 
> * If a proposal requires a change to Core, that change should be
>  described rather precisely.

In Greek or in Haskell? Less tersely: does a formalization in a paper suffice? Or should the proposal write out the new Haskell definition? These are closely related, but not the same. (For example, formalizations don't include the AppTy/TyConApp/FunTy distinction that is important for performance.)

My own view is that Greek is enough.

Richard