Move T? to Relation.Nullary.Decidable.Core#2189

jamesmckinna merged 5 commits into

masteragda/agda-stdlib:masterfrom

T-to-decidable-coreagda/agda-stdlib:T-to-decidable-coreCopy head branch name to clipboard