Leo White

So the cause of this bug is that my source files are in the directory in which I run `make` (the root directory). Since the current directory is automatically included...

The first two commits are actually from #89, which this PR is on top of.

> How is sub-module expansion controlled ? Sorry, I should have been clearer. The expansion of sub-modules, module types and packs I referred to is not about expanding these things...

Sure, but it will take a while. I might get around to it next week.

> However, now, codoc complains about templates. I'm unlikely to fix any issues with my version of codoc any time soon, but feel free to raise an issue on lpw25/codoc.

> It would be interesting to know if this is possible to do in OCaml; for example, it isn't possible in System U. I do not believe it to be...

(Sorry for the slow reply) It has the most recent attempt to implement a prototype of typed algebraic effects for OCaml, but my design for adding algebraic effects to OCaml...

The problem seems to be related to our css rather than the spans themselves. Our internal docs site uses different css and doesn't suffer from this problem. We're intending to...

Interesting. As you say, I don't think it really constitutes a bug. For a start, if you strip all the type annotations away and replace `Higher` with just a polymorphic...

@Octachron / @Drup is your ongoing work in the same area as #8828? Because I have some further PRs from that internship that just need finishing off. The current state...