Alias Qli

> Is _Maintainers_ identical to _package maintainers_? Yes. However, I don't understand what you mean by "the same terminology". Did you mean moving these links to the *Maintainers* section in...

I think *package maintainers* will be fine. I'll make a commit quickly.

 Now this looks fine.

@domenkozar Because it's often the desired behaviour of an API server. At least in my use case, there's only one central place for verification (for example, login) and the server...

I fixed the code and this should do: ``` datatype Set { set(X: Type, y: (X) -> Set): Set } function carrier(s: Set): Type { return induction(s) { (_) =>...

Is it possible to support multiple literate backends?