HomeIsabelle/Phabricator

tuned: prefer for-comprehension in complicated situations;

Description

tuned: prefer for-comprehension in complicated situations;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFPb93b79b9240e: tuned formatting;
Branches
Unknown
Tags
Unknown