HomeIsabelle/Phabricator

clarified vacuous selection vs. Pure;

Description

clarified vacuous selection vs. Pure;

Details

Provenance
makariusAuthored on
Parents
rISABELLE1c58a01a372e: tuned signature;
Branches
Unknown
Tags
Unknown