Add Properties of List actions on Bools#3005

jamesmckinna merged 7 commits into

masteragda/agda-stdlib:masterfrom

bool-listaction-propsagda/agda-stdlib:bool-listaction-propsCopy head branch name to clipboard