Commit 2020-08-04 16:33 f4b2790d

feat(data/list/defs): add monadic versions of list.{find,any,all,bor,band} (#3679) Also universe-generalise mfind while I'm at it.

added def list.mall

added def list.many

added def list.mband

added def list.mbor

modified def list.mfind