Arnaud Spiwack

> for this kind of navigation to be most useful, it should be bound to a right-hand keystroke (I am thinking [ and ]). For what kind of navigation? On...

Could some trickery make it possible to catch ESC to make the minibuffer switch to command mode? (`C-g` would still close the minibuffer).

I haven't thought about this much. Kind of obviously I suppose: I've only just read the issue. But there are other natural ways to address these problems that came up...

I'm curious (maybe a little confused even) about what is precisely in this issue. I assume that we can already use types as values (their value is the underlying contract)....

> There isn't, actually. There is currently no way of getting the contract corresponding to an arbitrary type expression. Maybe this is something that should be fixed, then. Since it...

At the very least, this is not urgent. That being said, it is a good question: what should the semantics of merging two records with a parametric row be? And...

I think that only option 4 makes sense today. We don't really have an identified need for anything more complex today. When we know more about how people use Nickle,...

Thanks @Gabriel439 ! This makes me think that there is a solution that we haven't been considering yet which is “just use Git submodules”. I'm not terribly fond of Git...

I think that if you have “first class metadata“, then they need to be strict (the spine needs to be strict, actual content of the field, hidden behind a `|...

When you typecheck expressions like these, you need to take care of your variables' levels. That is, in this case, you are typechecking `id` with `forall b. b -> b`,...