Unused implicit at Data.List.Fresh.Relation.Unary.Any.Properties - #2912

Unused implicit at Data.List.Fresh.Relation.Unary.Any.Properties#2912

Taneb merged 1 commit into

agda:masteragda/agda-stdlib:masterfrom

jkopanski:unused-implicitjkopanski/agda-stdlib:unused-implicitCopy head branch name to clipboard