Leo White

I don't see how the links can be correct. You need to add a new form to the path syntax to represent "project submodule 'Foo' that is in the same...

To be clear, this is fine in latex because there is only one possible projection in latex. In the html there will be two possible projections and resolution needs to...

Stamps from other modules are lazyily freshened on import via a substitution. I would say the documentation is correct. If you find a place where the stamps are not being...

I have a couple of concerns about this PR. The first is around safety: generlizing type nodes is not the conservative option. When leaving a scope for an expansive expression,...

@gasche I think you meant to post that on #12368

IIRC I switched all my later branches to use: ```ocaml effect E, k -> ``` rather than: ```ocaml effect E k -> ``` because it allowed you to write: ```ocaml...

It is worth noting that this locks us in to a couple of big design decisions that I think we should make sure we are happy with before proceeding. ###...

> There are many functions for which a natural effect is polymorphic on the type of its inputs, and this currently cannot be expressed. For example, consider a function that...

>> whilst Set 5 has a type like (unit, int state) operation. > The reading here is that Set 5 when performed returns unit and the operation is associated with...

> What does your API look like when desugared without syntax changes? Without the addition of `match` syntax, but with `effect` type definitions and the `operation` type, the full API...