copumpkin/categories

Categories.Support.SetoidPi does not compile with stdlib 0.16 due to Relation.Binary.Indexed

Closed this issue · 1 comments

p-pavel commented

Relation.Binary.Indexed does not exist anymore

JacquesCarette commented

And all of the functions in that file are obsolete too, as they all exist in the stdlib in one way or another.