Improve Data.List.Base (fix #2359; deprecate use of with #2123) - #2365

Improve Data.List.Base (fix #2359; deprecate use of with #2123)#2365

MatthewDaggitt merged 4 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:decidable-list-functionsjamesmckinna/agda-stdlib:decidable-list-functionsCopy head branch name to clipboard