Joshua Booth

Results 3 comments of Joshua Booth

Anywhere the "forall" keyword is used in a signature, which only requires enabling `ExplicitForAll`.

Huh. The server is suddenly working again.