ParentFull threadLotusFunctor·Pascal's triangle, and also with a transparently power-set flavor to it :)View on HN