[ add ] Choudhury and Fiore's alternative definition of Permutation for Setoids#2726

MatthewDaggitt merged 21 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:hinze-permutationjamesmckinna/agda-stdlib:hinze-permutationCopy head branch name to clipboard