Setoid version of indexed containers.#1511

MatthewDaggitt merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom

andreasabel:indexed-container-setoidandreasabel/agda-stdlib:indexed-container-setoidCopy head branch name to clipboard