Thanks for pointing out the linking issue.
Looks like the table of content references get clobbered by gitlab.
Unfortunately, pandoc doesn't generate the table of contents, and the
gitlab org parser ignores #+OPTION: toc:3.
So I've opted to just remove the table of contents entirely.
- Jeff
Hi all,
I have now written a much more substantial type-checking plugin, which I
used to typecheck an intrinsically typed implementation of System F. I've
added the example to the repository (
https://github.com/sheaf/ghc-tcplugin-api), see the readme.
This uncovered several bugs in the
This sounds very cool!
FYI the Inria paper link in the readme seems to not be correct?
On Fri, Jul 9, 2021 at 6:56 PM Sam Derbyshire
wrote:
> Hi all,
>
> I have now written a much more substantial type-checking plugin, which I
> used to typecheck an intrinsically typed implementation of System
