Re: Questions about System F and data types

Thank you for those answers! Back to proving again :) On 23.11.20 04:48, Richard Eisenberg wrote: > > >> On Nov 22, 2020, at 6:49 AM, Jan van Brügge > > wrote: >> >> To better understand PL papers, especially those involving System Fc >> and its extensions, I started to

Re: HEAD user manual

Simon Peyton Jones via ghc-devs writes: > Where can I find the GHC user manual for HEAD these days? > I tried https://ghc.gitlab.haskell.org/ghc/doc/, but that takes me to 8.11. > The user documentation page > https://gitlab.haskell.org/ghc/ghc/-/wikis/ghc-users-guide#ghc-users-documentation > ha

HEAD user manual

Where can I find the GHC user manual for HEAD these days? I tried https://ghc.gitlab.haskell.org/ghc/doc/, but that takes me to 8.11. The user documentation page https://gitlab.haskell.org/ghc/ghc/-/wikis/ghc-users-guide#ghc-users-documentation has the same link. Thanks Simon ___