[ refactor ] weaken type of Relation.Nullary.Negation.Core.contradiction-irr#2785

MatthewDaggitt merged 2 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:contradiction-irrjamesmckinna/agda-stdlib:contradiction-irrCopy head branch name to clipboard