> encouraging the use of a standalone signature for type declarations where at
> least one parameter of the datatype does not have kind Type.
So Dict, Eq both get a sig but Fix and Either do not?
type Dict :: Constraint -> Type
type Eq :: Type -> Constraint
type Fix :: (Type -> Type) ->
I’ll try again.
On Wed, May 19, 2021 at 10:26 PM Mario Carneiro
wrote:
> Speaking as a *heavy* user of the Rust and Lean zulip instances, I find it
> a huge improvement over the alternatives of Gitter and Discord, and I think
> IRC although I have not used IRC much. It takes some getting used to
Thanks Moritz for that update.
The latest is that currently darwin CI is disabled and the merge train
is unblocked (*choo choo*).
I am testing Moritz's patches to speed-up CI and will merge them in
shortly to get darwin coverage back.
Cheers,
Matt
On Wed, May 19, 2021 at 9:46 AM Moritz Angerma
