'No infinite descent' for (Accessible elements of) WellFounded relations#2126

MatthewDaggitt merged 64 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:NoInfiniteDescentjamesmckinna/agda-stdlib:NoInfiniteDescentCopy head branch name to clipboard