[ draft ] Refactor Dec to use constructive negation#3065

gallais wants to merge 1 commit into

agda:masteragda/agda-stdlib:masterfrom

gallais:positive-decgallais/agda-stdlib:positive-decCopy head branch name to clipboard