Filters - alternative to the base of Domain theory#2829

gabriellisboaconegero wants to merge 3 commits intoagda:masteragda/agda-stdlib:masterfrom

gabriellisboaconegero:filtersgabriellisboaconegero/agda-stdlib:filtersCopy head branch name to clipboard