[ fix ] Relation.Nullary.Decidable.Core names for combinators#2843

jamesmckinna merged 7 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:decidable-namesjamesmckinna/agda-stdlib:decidable-namesCopy head branch name to clipboard