Re: Equality constraints (~): type-theory behind them

On Sat, 22 Dec 2018 at 8:01 PM, Oliver Charles wrote: On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden

wrote:

...

So the paper's main motivation is wrt Trac #9670.

Are you sure you mean #9670?

Oops. Thanks for the catch Oliver. That should be #9627. (One of the tickets to do with FunDeps and type improvement ends in 70 ;-) AntC