HomeIsabelle/Phabricator

clarified vacuous selection vs. Pure;

Authored by makarius.

Description

clarified vacuous selection vs. Pure;

Details

Committed
makariusNov 24 2019, 3:45 PM
Parents
rISABELLE1c58a01a372e: tuned signature;
Branches
Unknown
Tags
Unknown