Lists: decidability of Subset+Disjoint relations#2399

jamesmckinna merged 1 commit intomasteragda/agda-stdlib:masterfrom

orestis/dec-list-subsetagda/agda-stdlib:orestis/dec-list-subsetCopy head branch name to clipboard