Gabriel Hondet

How should `m[3](0 args)` be read?

Could you provide the hierarchy you are planning to implement in the pull request description? So that we can discuss it beforehand.

Thanks @amelieled. I'm quite happy with your categories. I'll be picky, but I'd remove the suffix `_test`, because we know these are all tests, we're already in the `tests` folder......

> `import` ? I think require could be ambiguous. Indeed. > The problem is that it breaks the links on the "issue" discussions. What do you mean? > One category...

My mistake, there is no problem, I have a constant named `T` as well as a variable, so the type of `f` is `η T ⇒ η T` (where T...

> Very fun things can appear with this signature: `type -> type -> type`. What do you mean?

We must change the line https://github.com/Deducteam/lambdapi/blob/0f815a939b4b56520f77a214eb3ad1a47c9b8dd3/.ocamlformat#L1

> @amelieled what happens if you use #308 ? In fact she already has the new mode, so it might come from it... but I don't think so, since the...

It works for me (I use #308)

For the record, `package-delete` can be used to remove packages.