Typing rules for Haskell

Ben Gamari ben at smart-cactus.org
Wed Jul 24 23:32:07 UTC 2019


Richard Eisenberg <rae at richarde.dev> writes:

> Hi devs,
>
> Simon and I were wondering about a tight specification for the recent
> action in proposal #253
> (https://github.com/ghc-proposals/ghc-proposals/pull/253
> <https://github.com/ghc-proposals/ghc-proposals/pull/253>). We needed
> to see the typing rules. So I made a repo
> (https://gitlab.haskell.org/rae/haskell
> <https://gitlab.haskell.org/rae/haskell>) to collect typing rules for
> source Haskell. I managed to convince the CI infrastructure to produce
> a PDF at every upload; it is linked from the README.
>
> The current version contains the proposed result signatures; it should
> probably be in a branch, but life is short.
>
Very nice!

Cheers,

- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190724/df2c16ea/attachment.sig>


More information about the ghc-devs mailing list