[ add ] Data.Bool.contradiction fixing #2847#2853

jamesmckinna wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:Bool-contradictionjamesmckinna/agda-stdlib:Bool-contradictionCopy head branch name to clipboard